research
∙
12/09/2022
Efficient Convex Zone Merging in Parametric Timed Automata
Parametric timed automata are a powerful formalism for reasoning on conc...
share
research
∙
11/25/2022
strategFTO: Untimed control for timed opacity
We introduce a prototype tool strategFTO addressing the verification of ...
research
∙
06/11/2022
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Information leakage can have dramatic consequences on systems security. ...
research
∙
06/18/2021