Guaranteeing Timed Opacity using Parametric Timed Model Checking

Étienne André, Didier Lime, Dylan Marinho +1

Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully ded…