Mathieu Baudet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2003–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AFT | FastPay: High-Performance Byzantine Fault Tolerant Settlement. | Mathieu Baudet, George Danezis, Alberto Sonnino |
| 2006 | FOSSACS | Guessing Attacks and the Computational Soundness of Static Equivalence. | Martn Abadi, Mathieu Baudet, Bogdan Warinschi |
| 2005 | CCS | Deciding security of protocols against off-line guessing attacks. | Mathieu Baudet |
| 2005 | ICALP | Computationally Sound Implementations of Equational Theories Against Passive Adversaries. | Mathieu Baudet, Vronique Cortier, Steve Kremer |
| 2003 | APLAS | Controlling and Optimizing the Usage of One Resource. | Antoine Galland, Mathieu Baudet |