3 citations · 3 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
Synchronisability in Mailbox Communication
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
We revisit the problem of synchronisability for communicating automata, i.e., whether the language of send messages for an asynchronous system is the same as the language of send m…
cs.CR2024★ 3 cited
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…