4 citations · 8 across the 7 of their papers we have counts for
7 papers
The Synchronization Power (Consensus Number) of Access-Control Objects: The Case of AllowList and DenyList
Davide Frey, Mathieu Gestin, Michel Raynal
This article studies the synchronization power of AllowList and DenyList objects under the lens provided by Herlihy's consensus hierarchy. It specifies AllowList and DenyList as di…
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…
: A Rock-Solid Foundation for Epidemic Consensus Algorithms in Very Large, Very Open Networks
Alex Auvolat, Yérom-David Bromberg, Davide Frey +1
Recent works have proposed new Byzantine consensus algorithms for blockchains based on epidemics, a design which enables highly scalable performance at a low cost. These methods ho…
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…