61 citations · 322 across the 42 of their papers we have counts for
5 papers · 1 filter
strategFTO: Untimed control for timed opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux +1
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software. We consider a recent definition of timed opacity where an attacker…
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho +1
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully ded…
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the sy…
Parametric Timed Model Checking for Guaranteeing Timed Opacity
Étienne André, Jun Sun
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage is the ability for an attacker to deduce int…
Parametric analyses of attack-fault trees
Étienne André, Didier Lime, Mathias Ramparison +1
Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failure…