α-β 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 and typing result for alpha-beta privacy, JCS 2025, 34(1).
    based on conference paper: Laouen Fernet, Sebastian Mödersheim and Luca Viganò: A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. In CSF 2024. 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.3

• Source Codes
• Linux executable
• Alpha-Beta Privacy Specifications

Talks

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