25 citations · 29 across the 6 of their papers we have counts for
6 papers
Intrusion Resilience Systems for Modern Vehicles
Ali Shoker, Vincent Rahli, Jeremie Decouchant +1
Current vehicular Intrusion Detection and Prevention Systems either incur high false-positive rates or do not capture zero-day vulnerabilities, leading to safety-critical risks. In…
: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Liron Cohen, Vincent Rahli
is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This paper identifies a subcl…
Practical Byzantine Reliable Broadcast on Partially Connected Networks (Extended version)
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina +2
In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve this problem consists in…
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…
Realisability Semantics for Intersection Types and Expansion Variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was invented at the end of the 1970s for calculating principal typings for -terms in type systems with intersection types. Expansion variables (E-variables) were inven…
A complete realisability semantics for intersection types and arbitrary expansion variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was introduced at the end of the 1970s for calculating principal typings for -terms in intersection type systems. Expansion variables (E-variables) were introduced at…