• closedAccess   Atomic Appends in Asynchronous Byzantine Distributed Ledgers 

      Cholvi, Vicent; Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; raynal, michel; Russo, Antonio Elsevier (2023-12)
      A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records. In this work we formalize a linearizable Byzantine-tolerant Distributed Ledger Object (BDLO), which is a ...
    • openAccess   Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications 

      Cholvi, Vicent; Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas; raynal, michel; Russo, Antonio Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH (2021-06-26)
      In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains ...