Michael Backes, Matteo Maffei, Dominique Unruh. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In 2008 IEEE Symposium on Security and Privacy (S&P 2008), 18-21 May 2008, Oakland, California, USA. pages 202-215, IEEE Computer Society, 2008. [doi]
@inproceedings{BackesMU08,
title = {Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol},
author = {Michael Backes and Matteo Maffei and Dominique Unruh},
year = {2008},
doi = {10.1109/SP.2008.23},
url = {http://doi.ieeecomputersociety.org/10.1109/SP.2008.23},
tags = {protocol},
researchr = {https://researchr.org/publication/BackesMU08},
cites = {0},
citedby = {0},
pages = {202-215},
booktitle = {2008 IEEE Symposium on Security and Privacy (S&P 2008), 18-21 May 2008, Oakland, California, USA},
publisher = {IEEE Computer Society},
}