Travelled to:1 × Austria
1 × Brazil
1 × Portugal
Collaborated with:V.Cortier S.Delaune M.Abadi B.Warinschi S.Kremer
Talks about:comput (3) sound (2) implement (1) adversari (1) knowledg (1) generic (1) equival (1) against (1) theori (1) static (1)
Person: Mathieu Baudet
DBLP: Baudet:Mathieu
Contributed to:
2009
2006
2005Wrote 3 papers:
- RTA-2009-BaudetCD #named
- YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.
- FoSSaCS-2006-AbadiBW #equivalence
- Guessing Attacks and the Computational Soundness of Static Equivalence (MA, MB, BW), pp. 398–412.
- ICALP-2005-BaudetCK #equation #implementation
- Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.