@inproceedings{cav13,
	Title = {The {TAMARIN} Prover for the Symbolic Analysis of Security Protocols},
	Author = {Simon Meier, Benedikt Schmidt, Cas Cremers, and David Basin},
	Booktitle = {25th International Conference on Computer Aided Verification (CAV 2013)},
	Address = {Saint Petersburg, Russia},
	Editor = {Natasha Sharygina and Helmut Veith},
	Month = {July},
	Pages = {696--701},
	Publisher = {Springer},
	Series = {LNCS},
	Volume = {8044},
	Year = {2013}
}