Show simple item record

dc.contributor.authorKozhaya, David
dc.contributor.authorDecouchant, Jeremie
dc.contributor.authorRahli, Vincent
dc.contributor.authorEsteves-Verissimo, Paulo
dc.date.accessioned2021-02-09T13:23:20Z
dc.date.available2021-02-09T13:23:20Z
dc.date.issued2021
dc.identifier.citationKozhaya, D., Decouchant, J., Rahli, V., & Esteves-Verissimo, P. (2021). PISTIS: An Event-Triggered Real-time Byzantine Resilient Protocol Suite. IEEE Transactions on Parallel and Distributed Systems, 1–1. doi:10.1109/tpds.2021.3056718
dc.identifier.issn2161-9883
dc.identifier.doi10.1109/TPDS.2021.3056718
dc.identifier.urihttp://hdl.handle.net/10754/667295
dc.description.abstractThe accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats have made the reliable and real-time control of these systems challenging: (i) uncertainty in the communication infrastructure induced by scale, and heterogeneity of the environment and devices; and (ii) targeted attacks maliciously worsening the impact of the above-mentioned communication uncertainties, disrupting the correctness of real-time applications. This paper addresses those challenges by showing how to build distributed protocols that provide both real-time with practical performance, and scalability in the presence of network faults and attacks, in probabilistic synchronous environments. We provide a suite of real-time Byzantine protocols, which we prove correct, starting from a reliable broadcast protocol, called PISTIS, up to atomic broadcast and consensus. This suite simplifies the construction of powerful distributed and decentralized monitoring and control applications, including state-machine replication. Extensive empirical simulations showcase PISTIS's robustness, latency, and scalability. For example, PISTIS can withstand message loss (and delay) rates up to 50% in systems with 49 nodes and provides bounded delivery latencies in the order of a few milliseconds.
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.urlhttps://ieeexplore.ieee.org/document/9347806/
dc.relation.urlhttps://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9347806
dc.rights(c) 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
dc.titlePISTIS: An Event-Triggered Real-time Byzantine Resilient Protocol Suite
dc.typeArticle
dc.contributor.departmentComputer Science Program
dc.contributor.departmentComputer Science, King Abdullah University of Science and Technology KAUST Solar Research Center, 564555 Thuwal, Makkah, Saudi Arabia,
dc.identifier.journalIEEE Transactions on Parallel and Distributed Systems
dc.eprint.versionPost-print
dc.contributor.institutionCyber-physical systems, ABB Corporate Research Center Switzerland, 122326 Baden-Dattwil, Baden, Switzerland,
dc.contributor.institutionFaculty of Electrical engineering, Mathematics and Computer Science (EEMCS), TU Delft, 2860 Delft, Zuid-Holland, Netherlands,
dc.contributor.institutionComputer Science, University of Birmingham, 1724 Birmingham, Birmingham, United Kingdom of Great Britain and Northern Ireland,
dc.identifier.pages1-1
kaust.personEsteves-Verissimo, Paulo
refterms.dateFOA2021-02-10T10:30:18Z


Files in this item

Thumbnail
Name:
AtomicRTBCast-tpds-20.pdf
Size:
3.408Mb
Format:
PDF
Description:
Accepted manuscript

This item appears in the following Collection(s)

Show simple item record