Automatic verification of privacy properties in the applied pi calculus

IFIP International Federation for Information Processing

Volumn 263, Issue , 2008, Pages 263-278

  Delaune, Stéphanie ^a   Ryan, Mark ^b   Smyth, Ben ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL VERIFICATION; INFORMATION TECHNOLOGY;

APPLIED PI CALCULUS; AUTOMATED REASONING; AUTOMATIC VERIFICATION; CASE-STUDIES; CRYPTOGRAPHIC PROTOCOLS; OBSERVATIONAL EQUIVALENCES; PROVERIF; VERIFICATION TECHNIQUES;

CALCULATIONS;

EID: 44049091915     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-09428-1_17     Document Type: Conference Paper

References (15)

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL'01: Proc. 28th ACM Symposium on Principles of Programming Languages, pp. 104-115. ACM Press, New York, USA (2001)
2. Backes, M., Maffei, M., Unruh, D.: Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08 (2008). To appear
3. Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. Journal of Logic and Algebraic Programming 75(1), 3-51 (2008)
4. Brickell, E., Camenisch, J., Chen, L.: Direct Anonymous Attestation. In: CCS '04: 11th ACM conference on Computer and communications security, pp. 132-145. ACM Press, New York, USA (2004)
5. Chadha, R., Kremer, S., Scedrov, A.: Formal Analysis of Multi-Party Fair Exchange Protocols. In: R. Focardi (ed.) 17th IEEE Computer Security Foundations Workshop, pp. 266-279. IEEE, Asilomar, USA (2004)
6. Clark, J., Jacob, J.: A Survey of Authentication Protocol Literature (1997). URL http://www.cs.york.ac.uk/~jac/papers/drareviewps.ps
7. Delaune, S., Kremer, S., Ryan, M.: Coercion-Resistance and Receipt-Freeness in Electronic Voting. In: CSFW '06: Proc. 19th IEEE workshop on Computer Security Foundations, pp. 28-42. IEEE (2006)
8. Delaune, S., Kremer, S., Ryan, M.D.: Verifying privacy-type properties of electronic voting protocols. Research report, Laboratoire Spécification et Vérification, ENS Cachan, France (2008)
9. Delaune, S., Ryan, M., Smyth, B.: Automatic verification of privacy properties in the applied pi calculus (extended version) (2008). URL http://www.cs.bham.ac.uk/~bas/
10. Fujioka, A., Okamoto, T., Ohta, K.: A Practical Secret Voting Scheme for Large Scale Elections. In: ASIACRYPT '92: Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques, pp. 244-251. Springer, London (1993)
11. Hirt, M., Sako, K.: Efficient receipt-free voting based on homomorphic encryption. In: Eurocrypt, LNCS, vol. 1807, pp. 539-556 (2000)
12. Kremer, S., Ryan, M.D.: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. In: ESOP'05: Proc. of the European Symposium on Programming, LNCS, vol. 3444, pp. 186-200 (2005)
13. Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters 56(3), 131-133 (1995)
14. Mukhamedov, A., Ryan, M.D.: Fair Multi-party Contract Signing using Private Contract Signatures. Information & Computation (2007). Preprint
15. Smyth, B., Ryan, M., Chen, L.: Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators. In: ESAS'07: 4th European Workshop on Security and Privacy in Ad hoc and Sensor Networks, LNCS vol. 4572, pp. 218-231 (2007)