Laouen Fernet

About

I am a PhD student under the supervision of Sebastian Mödersheim and Luca Viganò. I am working in the Software Systems Engineering section at DTU Compute, the department of Applied Mathematics and Computer Science of the Technical University of Denmark.

My main research topic is the study of privacy using formal methods and logic, and in particular automated verification techniques. The goal is to better understand the actual privacy guarantees of digital applications so that we can develop technology respecting peoples' rights to privacy.

Publications

Conference proceedings

• A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. Laouen Fernet, Sebastian Mödersheim and Luca Viganò. In CSF 2024, pp. 159--174. DOI: 10.1109/CSF61375.2024.00011.
• Private Authentication with Alpha-Beta Privacy. Laouen Fernet and Sebastian Mödersheim. In OID 2023, pp. 61--72. DOI: 10.18420/OID2023_05.
• Deciding a Fragment of (α, β)-Privacy. Laouen Fernet and Sebastian Mödersheim. In STM 2021, pp. 122--142. DOI: 10.1007/978-3-030-91859-0_7.

Technical reports

• A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. Laouen Fernet, Sebastian Mödersheim and Luca Viganò. Extended version of CSF 2024 paper.
• A Typing Result for Alpha-Beta Privacy. Laouen Fernet, Sebastian Mödersheim and Luca Viganò.

noname tool

During my PhD, I developed a tool called noname that implements a decision procedure for alpha-beta privacy. The user provides as input the model of a protocol (alpha-beta privacy specification) and the tool checks whether there is any violation of privacy (up to a given bound).

This software is licensed under BSD-3-Clause. You can get the complete source code (including examples of protocol models), or a compiled executable (ELF).

Talks

The slides are licensed under CC BY-SA 4.0.

• A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. Paper presentation at CSF 2024 on 2024/07/09. Sources, PDF.
• Automated Verification of Privacy. SSE research workshop at DTU Compute on 2024/06/13. Sources, PDF.
• How to Verify Privacy Automatically. CYS seminar at KCL Informatics on 2023/11/13. Sources, PDF.
• Private Authentication with Alpha-Beta Privacy. Paper presentation at OID 2023 on 2023/06/15. Sources, PDF.
• How to Verify Privacy Automatically. PhD forum at FOSAD 2022 on 2022/08/29. Sources, PDF.
• How to Verify Privacy Automatically. PhD Bazaar 2022 at DTU Compute on 2022/07/01. Sources, PDF.
• Deciding a Fragment of (α, β)-Privacy. Security Research seminar at Exeter on 2021/10/14. Sources, PDF.
• Deciding a Fragment of (α, β)-Privacy. Paper presentation at STM 2021 on 2021/10/08. Sources, PDF.
• Deciding a Fragment of (α, β)-Privacy. DIGISEC seminar at DTU Compute on 2021/09/09. Sources, PDF.
• Deciding Fragments of (α, β, γ, δ)-Privacy. MSc defence at DTU Compute on 2021/06/16. Sources, PDF.

Posters

The posters are licensed under CC BY-SA 4.0.

• Deciding, typing and composing (α, β)-privacy. PhD Bazaar 2024 at DTU Compute on 2024/08/30. Sources, PDF.
• How to Verify Privacy Automatically. PhD Bazaar 2023 at DTU Compute on 2023/06/23. Sources, PDF.

Education

• PhD at DTU Compute. 2021/12 to now.
• MSc in Computer Science and Engineering at DTU. 2019/08 to 2021/06. Thesis.
• Engineering studies (2 years of Supélec programme) at CentraleSupélec Metz. 2017/09 to 2019/07.