@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    = {Proceedings of 29th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2008}
}