@Article{DBLP:journals/entcs/Jurjens09,
author = {J.~{J}{\"u}{r}jens},
title = {Automated Security Verification for Crypto Protocol Implementations:
Verifying the Jessie Project},
journal = {Electr. Notes Theor. Comput. Sci.},
year = {2009},
volume = {250},
pages = {123--136},
number = {1},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Proceedings of the Seventh International Workshop on Automated Verification
of Critical Systems (AVOCS 2007)},
file = {dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL},
DOI = {http://doi.org/10.1016/j.entcs.2009.08.009},
keywords = {electronicJournals, secureSoftwareEngineeringCodeSecurityAnalysis},
}
BibTeX DOI dblp