Zef: Low-latency, Scalable, Private Payments.
IACR Cryptol. ePrint Arch., 2022
Low-latency, Scalable, DeFi with Zef.
CoRR, 2022
FastPay: High-Performance Byzantine Fault Tolerant Settlement.
Proceedings of the AFT '20: 2nd ACM Conference on Advances in Financial Technologies, 2020
Lumière: Byzantine View Synchronization.
CoRR, 2019
YAPA: A Generic Tool for Computing Intruder Knowledge.
ACM Trans. Comput. Log., 2013
On the Security of Oscillator-Based Random Number Generators.
J. Cryptol., 2011
Guessing attacks and the computational soundness of static equivalence.
J. Comput. Secur., 2010
Sécurité des protocoles cryptographiques : aspects logiques et calculatoires. (Security of cryptographic protocols : logical and computational aspects).
PhD thesis, 2007
Random Polynomial-Time Attacks and Dolev-Yao Models.
J. Autom. Lang. Comb., 2006
Computationally sound implementations of equational theories against passive adversaries.
IACR Cryptol. ePrint Arch., 2005
Deciding security of protocols against off-line guessing attacks.
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005
Controlling and Optimizing the Usage of One Resource.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003