%0 Conference Paper %1 conf/sefm/Vanspauwen015 %A Vanspauwen, Gijs %A Jacobs, Bart %B SEFM %D 2015 %E Calinescu, Radu %E Rumpe, Bernhard %I Springer %K dblp %P 53-68 %T Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#Vanspauwen015 %V 9276 %@ 978-3-319-22968-3

@inproceedings{conf/sefm/Vanspauwen015, added-at = {2022-04-09T00:00:00.000+0200}, author = {Vanspauwen, Gijs and Jacobs, Bart}, biburl = {https://www.bibsonomy.org/bibtex/227e971c4d1f200e56e0352426f4eb9dc/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2015}, editor = {Calinescu, Radu and Rumpe, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-22969-0_4}, interhash = {6ad616cedcdbcd6ef5afb4e59f230e73}, intrahash = {27e971c4d1f200e56e0352426f4eb9dc}, isbn = {978-3-319-22968-3}, keywords = {dblp}, pages = {53-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#Vanspauwen015}, volume = 9276, year = 2015 }