67 citations · 100 across the 9 of their papers we have counts for
10 papers
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip
Ali Shoker, Paulo Esteves Verissimo, Marcus Völp
The hardware computing landscape is changing. What used to be distributed systems can now be found on a chip with highly configurable, diverse, specialized and general purpose unit…
Sanctuary lost: a cyber-physical warfare in space
Rafal Graczyk, Paulo Esteves-Verissimo, Marcus Voelp
Over the last decades, space has grown from a purely scientific struggle, fueled by the desire to demonstrate superiority of one regime over the other, to an anchor point of the ec…
Chaos Engineering for Enhanced Resilience of Cyber-Physical Systems
Charalambos Konstantinou, George Stergiopoulos, Masood Parvania +1
Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy deliv…
EphemeriShield -- defence against cyber-antisatellite weapons
Rafal Graczyk, Marcus Voelp, Paulo Esteves-Verissimo
Satellites, are both crucial and, despite common misbelieve, very fragile parts our civilian and military critical infrastructure. While, many efforts are focused on securing groun…
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…
PriLok: Citizen-protecting distributed epidemic tracing
Paulo Esteves-Verissimo, Jérémie Decouchant, Marcus Völp +2
Contact tracing is an important instrument for national health services to fight epidemics. As part of the COVID-19 situation, many proposals have been made for scaling up contract…