10 citations · 44 across the 15 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024★ 3 cited
Execution-time opacity control for timed automata
Étienne André, Marie Duflot, Laetitia Laversa +1
Timing leaks in timed automata (TA) can occur whenever an attacker is able to deduce a secret by observing some timed behaviour. In execution-time opacity, the attacker aims at ded…
cs.CR2022★ 6 cited
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…