Rewriting Privacy

DOI10.1007/978-3-031-12441-9_2zbMATH Open1514.68069MaRDI QIDQ6487293FDOQ6487293

Authors: Sebastian Mödersheim 

Publication date: 7 December 2022

Recommendations

• Formalizing and proving privacy properties of voting protocols using alpha-beta privacy
• Defining privacy is supposed to be easy
• Privacy by typing in the \(\pi\)-calculus
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• Differential Privacy and Security

Mathematics Subject Classification ID

Cryptography (94A60) Privacy of data (68P27)

Cites Work

• Private authentication
• Automated verification of selected equivalences for security protocols
• A practical secret voting scheme for large scale elections
• Programming Languages and Systems
• The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• A procedure for deciding symbolic equivalence between sets of constraint systems
• Formalizing and proving privacy properties of voting protocols using alpha-beta privacy
• Equivalence properties by typing in cryptographic branching protocols

This page was built for publication: Rewriting Privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487293)