Timed automata as a formalism for expressing security: A survey on theory and practice

7 June 2022

Papers citing "Timed automata as a formalism for expressing security: A survey on theory and practice"

3 / 3 papers shown

Title
Execution-time opacity control for timed automata Étienne André Marie Duflot Laetitia Laversa Engel Lefaucheux 24 2 0 16 Sep 2024
Expiring opacity problems in parametric timed automata Étienne André Engel Lefaucheux Dylan Marinho 21 5 0 12 Mar 2024
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata Étienne André Engel Lefaucheux D. Lime Dylan Marinho Jun Sun 25 6 0 31 Oct 2023