@inproceedings{DBLP:conf/cav/MeierSCB13,   
	Address = {Saint Petersburg, Russia},
	Author = {Simon Meier, Benedikt Schmidt, Cas Cremers, and David Basin},
	Booktitle = {25th International Conference on Computer Aided Verification (CAV 2013)},
	Editor = {Natasha Sharygina and Helmut Veith},
	Month = {July},
	Pages = {696--701},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {The {TAMARIN} Prover for the Symbolic Analysis of Security Protocols},
	Volume = {8044},
	Year = {2013}
	doi  = {http://dx.doi.org/10.1007/978-3-642-39799-8_48}
}