2 papers
cs.CR2022
Zef: Low-latency, Scalable, Private Payments
Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar +1
We introduce Zef, the first Byzantine-Fault Tolerant (BFT) protocol to support payments in anonymous digital coins at arbitrary scale. Zef follows the communication and security mo…
cs.LO2010
YAPA: A generic tool for computing intruder knowledge
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages…