Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Nicolaou, Nicolas"

Now showing items 1-6 of 6

    • Conference Object  

      Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers 

      Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl_Leibniz-Zentrum für Informatik (OASIcs), 2019)
      The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may be exchanged. As each blockchain is designed ...
    • Conference Object  

      Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects 

      Cholvi, Vicent; Anta, Antonio Fernández; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019)
    • Article  

      Formalizing and Implementing Distributed Ledger Objects 

      Anta, Antonio Fernández; Konwar, Kishori; Georgiou, Chryssis; Nicolaou, Nicolas (2018)
      Despite the hype about blockchains and distributed ledgers, formal abstractions of these objects are scarce1. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we ...
    • Conference Object  

      Formalizing and Implementing Distributed Ledger Objects 

      Fernández Anta, Antonio; Georgiou, Chryssis; Konwar, Kishori; Nicolaou, Nicolas (Springer International Publishing, 2019)
      Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed (This observation was also pointed out by Maurice Herlihy in his PODC2017 keynote talk). To face this ...
    • Conference Object  

      Putting Distributed Ledgers Together 

      Anta, Antonio Fernandez; Georgiou, Chryssis; Nicolaou, Nicolas (2018)
    • Conference Object  

      Unleashing and Speeding Up Readers in Atomic Object Implementations 

      Georgiou, Chryssis; Hadjistasi, Theophanis; Nicolaou, Nicolas; Schwarzmann, Alexander A. (Springer International Publishing, 2019)
      Providing efficient emulations of atomic read/write objects in asynchronous, crash-prone, message-passing systems is an important problem in distributed computing. Communication latency is a factor that typically dominates ...