![[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol]()
[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation ProtocolBackes, Michael; Maffei, Matteo; Unruh, Dominique · 2008