Execution-Time Opacity in (Controllable) Timed Automata is Hard

Sarah Dépernet, Engel Lefaucheux

Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as the total duration of a ru…