DY : A modular symbolic verification framework for executable cryptographic protocol code. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Würtele, Tim.

Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021. Institute of Electrical and Electronics Engineers Inc., 2021. p. 523-542 (Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021).

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

Published
  • Karthikeyan Bhargavan
  • Abhishek Bichhawat
  • Quoc Huy Do
  • Pedram Hosseyni
  • Ralf Küsters
  • Guido Schmitz
  • Tim Würtele
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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 44154726