DY: A modular symbolic verification framework for executable cryptographic protocol code

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages523-542
Number of pages20
ISBN (Electronic)978-1-6654-1491-3
ISBN (Print)978-1-6654-3048-7
DOIs
Publication statusPublished - Sep 2021
Event6th IEEE European Symposium on Security and Privacy, Euro S and P 2021 - Virtual, Online, Austria
Duration: 6 Sep 202110 Sep 2021

Publication series

NameProceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021

Conference

Conference6th IEEE European Symposium on Security and Privacy, Euro S and P 2021
Country/TerritoryAustria
CityVirtual, Online
Period6/09/2110/09/21

Cite this