Browsing by Author "Nicolaou, Nicolas"
Now showing items 1-8 of 8
-
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)
-
Conference Object
Consensus Approach to Secure State Estimation for a Class of Remotely Sensed Networked Systems
Tsiakkas, Mihalis; Nicolaou, Nicolas; Polycarpou, Marios; Panayiotou, Christos (2018)Remote sensing is often a crucial part of cyber-physical and networked systems. Measurements taken at remote locations can both serve as monitoring tools as well as to inform control decisions. Over the past few years, a ...
-
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
Reducing Vulnerability to Cyber-Physical Attacks in Water Distribution Networks
Nicolaou, Nicolas; Eliades, Demetrios G.; Panayiotou, Christos; Polycarpou, Marios M. (2018)Cyber-Physical Systems (CPS), such as Water Distribution Networks (WDNs), deploy digital devices to monitor and control the behavior of physical processes. These digital devices, however, are susceptible to cyber and ...
-
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 ...