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…