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…
RAPTEE: Leveraging trusted execution environments for Byzantine-tolerant peer sampling services
Matthieu Pigaglio, Joachim Bruneau-Queyreix, David Bromberg +3
Peer sampling is a first-class abstraction used in distributed systems for overlay management and information dissemination. The goal of peer sampling is to continuously build and…
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…