Pages that link to "Item:Q4993330"
From MaRDI portal
The following pages link to Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330):
Displaying 4 items.
- Cryptanalysis of a privacy preserving auditing for data integrity protocol from TrustCom 2013 (Q1631843) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Rewriting Privacy (Q6487293) (← links)