29 citations · 75 across the 10 of their papers we have counts for
4 papers · 1 filter
Asynchronous Byzantine Reliable Broadcast With a Message Adversary
Timothé Albouy, Davide Frey, Michel Raynal +1
This paper considers the problem of reliable broadcast in asynchronous authenticated systems, in which n processes communicate using signed messages and up to t processes may behav…
Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
Alex Auvolat, Davide Frey, Michel Raynal +1
It has recently been shown that, contrarily to a common belief, money transfer in the presence of faulty (Byzantine) processes does not require strong agreement such as consensus.…
Dietcoin: shortcutting the Bitcoin verification process for your smartphone
Davide Frey, Marc X. Makkes, Pierre-Louis Roman +2
Blockchains have a storage scalability issue. Their size is not bounded and they grow indefinitely as time passes. As of August 2017, the Bitcoin blockchain is about 120 GiB big wh…
Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks
Hicham Lakhlef, Michel Raynal, François Taïani
The vertex coloring problem has received a lot of attention in the context of synchronous round-based systems where, at each round, a process can send a message to all its neighbor…