α-β 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.
The archive includes
- 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)