α-β Privacy

Papers

• Overview article: Sebastian Mödersheim: Rewriting Privacy. Invited paper at WRLA 2022.
• Original article introducing α-β privacy as an evaluation of a protocol state: Sebastian Mödersheim and Luca Viganò. Alpha-Beta Privacy. In ACM Transactions on Privacy and Security, 2018. Preprint available
  Based on the conference paper: Sebastian Mödersheim, Thomas Groß and Luca Viganò. Defining Privacy is Supposed to be Easy. LPAR 2013.
• Article defining α-β privacy for state-transition systems: Sébastien Gondron, Sebastian Mödersheim and Luca Viganò: Privacy as Reachability. CSF 2022, Open Access, manuscript available.
• Methods for automated analysis of α-β privacy - the noname tool: Laouen Fernet, Sebastian Mödersheim and Luca Viganò: A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. In CSF 2024, to appear. Extended version.
• Case study of modeling and analyzing protocols with noname: Laouen Fernet and Sebastian Mödersheim: Private Authentication with Alpha-Beta Privacy. In OID 2023, pp. 61--72. DOI: 10.18420/OID2023_05.

noname Tool v. 0.2

• Source Code
• Executable (ELF)
• Alpha-Beta Privacy Specifications: BAC and Private Authentication.

Talks

• Laouen Fernet How to Verify Privacy Automatically (PDF). CYS seminar at King's College London (2023/11/13)