Verifying privacy by little interaction and no process equivalence
Date
2012
Authors
Advisors
Journal Title
Journal ISSN
ISSN
DOI
Volume Title
Publisher
Type
Conference
Peer reviewed
Abstract
Description
Keywords
Citation
Butlin, D. and Bella, G. (2012) Verifying privacy by little interaction and no process equivalence.SECRYPT 2012 - Proceedings of the International Conference on Security and Cryptography, pp. 251-256