%0 Conference Paper %1 conf/csfw/SchmidtMCB12 %A Schmidt, Benedikt %A Meier, Simon %A Cremers, Cas %A Basin, David A. %B CSF %D 2012 %E Chong, Stephen %I IEEE Computer Society %K dblp %P 78-94 %T Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. %U http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#SchmidtMCB12 %@ 978-1-4673-1918-8

@inproceedings{conf/csfw/SchmidtMCB12, added-at = {2023-08-08T00:00:00.000+0200}, author = {Schmidt, Benedikt and Meier, Simon and Cremers, Cas and Basin, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2e2c1db83a6e10b7f94afa6fb22c22909/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2012}, editor = {Chong, Stephen}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2012.25}, interhash = {5ea768d953e2baddfeed46374c58eb2b}, intrahash = {e2c1db83a6e10b7f94afa6fb22c22909}, isbn = {978-1-4673-1918-8}, keywords = {dblp}, pages = {78-94}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:31.000+0200}, title = {Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#SchmidtMCB12}, year = 2012 }