Vincent Rahli

activity

20092023

most citedPISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite

25 citations · 29 across the 6 of their papers we have counts for

collaborators

Showing 2023Show all

2 papers · 1 filter

cs.CR2023

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…

cs.LO2023★ 1 cited

$TT_{C}^{□}$ : a Family of Extensional Type Theories with Effectful Realizers of Continuity

Liron Cohen, Vincent Rahli

$TT_{C}^{□}$ is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This paper identifies a subcl…

Intrusion Resilience Systems for Modern Vehicles

TTC□​: a Family of Extensional Type Theories with Effectful Realizers of Continuity

$TT_{C}^{□}$ : a Family of Extensional Type Theories with Effectful Realizers of Continuity