7 citations · 14 across the 5 of their papers we have counts for
5 papers
Low-latency, Scalable, DeFi with Zef
Mathieu Baudet, Alberto Sonnino, Michal Krol
Zef was recently proposed to extend the low-latency, Byzantine-Fault Tolerant (BFT) payment protocol FastPay with anonymous coins. This report explores further extensions of FastPa…
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…
FastPay: High-Performance Byzantine Fault Tolerant Settlement
Mathieu Baudet, George Danezis, Alberto Sonnino
FastPay allows a set of distributed authorities, some of which are Byzantine, to maintain a high-integrity and availability settlement system for pre-funded payments. It can be use…
Cogsworth: Byzantine View Synchronization
Oded Naor, Mathieu Baudet, Dahlia Malkhi +1
Most methods for Byzantine fault tolerance (BFT) in the partial synchrony setting divide the local state of the nodes into views, and the transition from one view to the next dicta…
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…