Author

J. Leneutre

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

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

Ensuring confidentiality in Cyber-Physical Systems is critical, especially when attackers exploit execution times to infer sensitiveinformation. Traditional opacity models are inadequate for timed systems, as verifying opacity in Timed Automata is undecidable. To address this challenge, we propose Execution-Time Opacit...

J. Leneutre, Dylan Marinho, Vadim Malvone et al. · 0 citations

Jul 2026

Active Cyber Defense Strategy through Multi-Agent Systems Verification

Active cyber defense offers a promising approach to addressing the longstanding asymmetry between rapidly evolving cyber threats and static defense systems. However, active cyber defense requires fast responses and proactive reconfigurations that must be verified and tailored to observed attacker behaviour. Formal meth...

Gabriel Ballot, E. Borde, Vadim Ma Lvone et al. · IEEE Computer Security Found... · 0 citations