@inproceedings{Cr2008Scyther,
  author	= {C.J.F. Cremers},
  title		= {The {S}cyther {T}ool: Verification, Falsification, and Analysis of Security Protocols},
  year		= {2008},
  booktitle     = {Computer Aided Verification, 20th International
	  Conference, CAV 2008, Princeton, USA, Proc.},
  publisher     = {Springer},
  series        = {Lecture Notes in Computer Science},
  pages         = {414--418},
  volume        = {5123/2008},
  DOI		= {10.1007/978-3-540-70545-1_38},
}