6 citations · 18 across the 17 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.CR2019★ 6 cited
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models of runtime monitors that can detect fault injections that result i…
cs.DC2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations
Mohamad Jaber, Yliès Falcone, Paul Attie +2
We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the exe…
cs.SE2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…