Rewriting Privacy
From MaRDI portal
Publication:6487293
DOI10.1007/978-3-031-12441-9_2zbMATH Open1514.68069MaRDI QIDQ6487293FDOQ6487293
Authors: Sebastian Mödersheim
Publication date: 7 December 2022
Recommendations
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)