@inproceedings{Basin:ccs15,
	Acmid = {2813662},
	Address = {New York, NY, USA},
	Author = {Basin, David and Dreier, Jannik and Sasse, Ralf},
	Booktitle = {Proceedings of the 22Nd ACM SIGSAC Conference on Computer and 	Communications Security},
	Doi = {10.1145/2810103.2813662},
	Isbn = {978-1-4503-3832-5},
	Keywords = {observational equivalence, protocol verification, symbolic model},
	Location = {Denver, Colorado, USA},
	Numpages = {12},
	Pages = {1144--1155},
	Publisher = {ACM},
	Series = {CCS '15},
	Title = {Automated Symbolic Proofs of Observational Equivalence},
	Url = {http://doi.acm.org/10.1145/2810103.2813662},
	Year = {2015},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/2810103.2813662},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/2810103.2813662}}