Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems

Jean Leneutre, Dylan Marinho, Vadim Malvone +1

Ensuring confidentiality in Cyber-Physical Systems is critical, especially when attackers exploit execution times to infer sensitiveinformation. Traditional opacity models are inad…