Mathieu Baudet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2023

Zef: Low-latency, Scalable, Private PaymentsMathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis. wpes 2023: 1-16 [doi]

2022

Zef: Low-latency, Scalable, Private PaymentsMathieu Baudet, Alberto Sonnino, Mahimna Kelkar, George Danezis. iacr, 2022:83, 2022. [doi]

2020

FastPay: High-Performance Byzantine Fault Tolerant SettlementMathieu Baudet, George Danezis, Alberto Sonnino. aft 2020: 163-177 [doi]

2013

YAPA: A Generic Tool for Computing Intruder KnowledgeMathieu Baudet, Véronique Cortier, Stéphanie Delaune. tocl, 14(1):4, 2013. [doi]

2011

On the Security of Oscillator-Based Random Number GeneratorsMathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux. joc, 24(2):398-425, 2011. [doi]

2010

Guessing attacks and the computational soundness of static equivalenceMathieu Baudet, Bogdan Warinschi, Martín Abadi. jcs, 18(5):909-968, 2010. [doi]

2009

YAPA: A Generic Tool for Computing Intruder KnowledgeMathieu Baudet, Véronique Cortier, Stéphanie Delaune. RTA 2009: 148-163 [doi]

On the security of oscillator-based random number generatorsMathieu Baudet, David Lubicz, Julien Micolod, André Tassiaux. iacr, 2009:299, 2009. [doi]

Computationally sound implementations of equational theories against passive adversariesMathieu Baudet, Véronique Cortier, Steve Kremer. iandc, 207(4):496-520, 2009. [doi]

2007

Sécurité des protocoles cryptographiques : aspects logiques et calculatoires. (Security of cryptographic protocols : logical and computational aspects)Mathieu Baudet. PhD thesis, École normale supérieure de Cachan, France, 2007. [doi]

2006

Guessing Attacks and the Computational Soundness of Static EquivalenceMartín Abadi, Mathieu Baudet, Bogdan Warinschi. fossacs 2006: 398-412 [doi]

Random Polynomial-Time Attacks and Dolev-Yao ModelsMathieu Baudet. jalc, 11(1):7-21, 2006.

2005

Deciding security of protocols against off-line guessing attacksMathieu Baudet. ccs 2005: 16-25 [doi]

Computationally sound implementations of equational theories against passive adversariesMathieu Baudet, Véronique Cortier, Steve Kremer. iacr, 2005:74, 2005. [doi]

Computationally Sound Implementations of Equational Theories Against Passive AdversariesMathieu Baudet, Véronique Cortier, Steve Kremer. icalp 2005: 652-663 [doi]

2003

Controlling and Optimizing the Usage of One ResourceAntoine Galland, Mathieu Baudet. aplas 2003: 195-211 [doi]

Sign in or sign up to see more results.

runs on WebDSL