%0 Conference Paper %1 bhargavan2021modular %A Bhargavan, Karthikeyan %A Bichhawat, Abhishek %A Huy, Do Quoc %A Hosseyni Damabi, Seyed Pedram %A Küsters, Ralf %A Schmitz, Guido %A Würtele, Tim %B 2021 IEEE European Symposium on Security and Privacy (EuroS&P) %C Piscataway %D 2021 %I IEEE %K ubs_10005 ubs_20007 ubs_30180 ubs_40301 unibibliografie wos %P 523-542 %R 10.1109/EuroSP51992.2021.00042 %T DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code %@ 978-1-6654-1491-3 and 978-1-6654-3048-7

@inproceedings{bhargavan2021modular, added-at = {2022-11-29T16:39:15.000+0100}, address = {Piscataway}, affiliation = {Bhargavan, K (Corresponding Author), INRIA, Paris, France. Bhargavan, Karthikeyan, INRIA, Paris, France. Bichhawat, Abhishek, Carnegie Mellon Univ, Pittsburgh, PA 15213 USA. Bichhawat, Abhishek, IIT Gandhinagar, Gandhinagar, Gujarat, India. Quoc Huy Do; Hosseyni, Pedram; Kuesters, Ralf; Schmitz, Guido; Wuertele, Tim, Univ Stuttgart, Stuttgart, Germany.}, author = {Bhargavan, Karthikeyan and Bichhawat, Abhishek and Huy, Do Quoc and Hosseyni Damabi, Seyed Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2947f1fd378a2cde57f39efc23caf28f2/unibiblio}, booktitle = {2021 IEEE European Symposium on Security and Privacy (EuroS&P)}, doi = {10.1109/EuroSP51992.2021.00042}, eventdate = {2021-09-06/2021-09-10}, eventtitle = {2021 IEEE European Symposium on Security and Privacy (EuroS&P)}, interhash = {ac32063ed1a62bbe8271448e4309f225}, intrahash = {947f1fd378a2cde57f39efc23caf28f2}, isbn = {{978-1-6654-1491-3} and {978-1-6654-3048-7}}, keywords = {ubs_10005 ubs_20007 ubs_30180 ubs_40301 unibibliografie wos}, language = {eng}, orcid-numbers = {Schmitz, Guido/0000-0002-3776-5475}, pages = {523-542}, publisher = {IEEE}, timestamp = {2022-11-29T15:39:15.000+0100}, title = {DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code}, unique-id = {WOS:000783804100031}, venue = {Online}, year = 2021 }