6 citations · 14 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 6 cited
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime +2
Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Ti…
cs.LO2023
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Étienne André, Didier Lime, Olivier H. Roux
Ensuring the correctness of critical real-time systems, involving concurrent behaviours and timing requirements, is crucial. Timed automata extend finite-state automata with clocks…