DMCA

Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol (2007)

by Michael Backes , Matteo Maffei , Dominique Unruh
Venue:IN: IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 08). (2008) 202–215 PREPRINT ON IACR EPRINT 2007/289
Citations:47 - 10 self