@inproceedings{SchmidtMCB12,
	Author = {Benedikt Schmidt and Simon Meier and Cas Cremers and David Basin},
	Booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF)},
	Pages = {78--94},
	Title = {Automated analysis of Diffie-Hellman Protocols and Advanced Security Properties},
        Ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.25},
	Year = {2012}}