%0 Conference Paper %1 conf/dagstuhl/BackesMU07 %A Backes, Michael %A Maffei, Matteo %A Unruh, Dominique %B Formal Protocol Verification Applied %D 2007 %E Chen, Liqun %E Kremer, Steve %E Ryan, Mark Dermot %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P7421.html#BackesMU07 %V 07421

@inproceedings{conf/dagstuhl/BackesMU07, added-at = {2018-08-23T00:00:00.000+0200}, author = {Backes, Michael and Maffei, Matteo and Unruh, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/2841dce6c4853d8aad6bd6edaa2131c3d/dblp}, booktitle = {Formal Protocol Verification Applied}, crossref = {conf/dagstuhl/2007P7421}, editor = {Chen, Liqun and Kremer, Steve and Ryan, Mark Dermot}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1415}, interhash = {7e2012ca10d6f3e50c163c4914555edb}, intrahash = {841dce6c4853d8aad6bd6edaa2131c3d}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:08.000+0200}, title = {Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7421.html#BackesMU07}, volume = 07421, year = 2007 }