@inproceedings{backes08zero,
  author       = {Backes, Michael and Maffei, Matteo and Unruh, Dominique},
  title        = {Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol},
  booktitle    = {IEEE Symposium on Security and Privacy, Proceedings of SSP'08},
  month        = {May},
  year         = {2008},
  pages        = {202-215},
  note         = {Preprint on IACR ePrint 2007/289}
}