Formalizing and Implementing Distributed Ledger Objects

21 February 2018

Papers citing "Formalizing and Implementing Distributed Ledger Objects"

9 / 9 papers shown

Title
Improving Blockchain Scalability with the Setchain Data-type Margarita Capretto Martín Ceresa Antonio Fernández Antonio Russo César Sánchez LRM 17 3 0 09 Feb 2023
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers Margarita Capretto Martín Ceresa Antonio Fernández Antonio Russo C. Sánchez AI4CE LRM 31 5 0 23 Jun 2022
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus Silvia Bonomi Antonella del Pozzo Á. García-Pérez Sara Tucci-Piergiovanni 9 2 0 28 May 2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications V. Cholvi Antonio Fernández Chryssis Georgiou N. Nicolaou Michel Raynal Antonio Russo 24 8 0 16 Mar 2021
On Finality in Blockchains E. Anceaume Antonella del Pozzo Thibault Rieutord Sara Tucci-Piergiovanni 18 21 0 18 Dec 2020
Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof Alex Auvolat Davide Frey Michel Raynal François Taïani 21 15 0 18 Jun 2020
Appending Atomically in Byzantine Distributed Ledgers V. Cholvi Antonio Fernández Chryssis Georgiou N. Nicolaou Michel Raynal 9 0 0 26 Feb 2020
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers Antonio Fernández Chryssis Georgiou N. Nicolaou AIFin 16 10 0 20 Dec 2018
Blockchain Abstract Data Type E. Anceaume Antonella del Pozzo R. Ludinard M. Potop-Butucaru Sara Tucci-Piergiovanni 11 24 0 27 Feb 2018