Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Opacity problems in multi-energy timed automata
Ãtienne André, Lydia Bakiri
Cyber-physical systems can be subject to information leakage; in the presence of continuous variables such as time and energy, these leaks can be subtle to detect. We study here th…
cs.CR2025
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…