Laouen Fernet

According to our database, Laouen Fernet authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Nondeterministic Asynchronous Dataflow in Isabelle/HOL.

Rafael Castro Gonçalves Silva, Laouen Fernet, Dmitriy Traytel

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions.

Laouen Fernet, Sebastian Mödersheim, Luca Viganò

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Private Authentication with Alpha-Beta Privacy.

Laouen Fernet, Sebastian Mödersheim

Proceedings of the Open Identity Summit 2023, Heilbronn, Germany, June 15-16, 2023, 2023

2021

Deciding a Fragment of (α , β )-Privacy.

Laouen Fernet, Sebastian Mödersheim

Proceedings of the Security and Trust Management - 17th International Workshop, 2021