%0 Conference Paper %1 conf/csfw/ChakiD09 %A Chaki, Sagar %A Datta, Anupam %B CSF %D 2009 %I IEEE Computer Society %K dblp %P 172-185 %T ASPIER: An Automated Framework for Verifying Security Protocol Implementations. %U http://dblp.uni-trier.de/db/conf/csfw/csf2009.html#ChakiD09 %@ 978-0-7695-3712-2

@inproceedings{conf/csfw/ChakiD09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Chaki, Sagar and Datta, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/20f87f70b00797900dfc286837766ee96/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2009.20}, interhash = {b5d86587fbf5e0f95449b8fb41d00693}, intrahash = {0f87f70b00797900dfc286837766ee96}, isbn = {978-0-7695-3712-2}, keywords = {dblp}, pages = {172-185}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:42:52.000+0200}, title = {ASPIER: An Automated Framework for Verifying Security Protocol Implementations.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2009.html#ChakiD09}, year = 2009 }