3 papers
cs.DC2020
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite
David Kozhaya, Jeremie Decouchant, Vincent Rahli +1
The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats have made the reliable…
cs.DC2018
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
Distributed agreement-based algorithms are often specified in a crash-stop asynchronous model augmented by Chandra and Toueg's unreliable failure detectors. In such models, correct…
cs.DC2018
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
David Kozhaya, Jérémie Decouchant, Paulo Esteves-Verissimo
Today's cyber-physical systems face various impediments to achieving their intended goals, namely, communication uncertainties and faults, relative to the increased integration of…