Deciding a Fragment of (α , β )-Privacy. - Laouen Fernet; Sebastian Mödersheim (STM, 2021)

Private Authentication with Alpha-Beta Privacy. - Laouen Fernet; Sebastian Mödersheim (Open Identity Summit, 2023)

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. - Laouen Fernet; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2024)

Nondeterministic Asynchronous Dataflow in Isabelle/HOL. - Rafael Castro Gonçalves Silva; Laouen Fernet; Dmitriy Traytel (ITP, 2025)