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 proceeding › Conference contribution
Published
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 523-542 |
| Number of pages | 20 |
| ISBN (Electronic) | 978-1-6654-1491-3 |
| ISBN (Print) | 978-1-6654-3048-7 |
| DOIs | |
| Publication status | Published - Sep 2021 |
| Event | 6th IEEE European Symposium on Security and Privacy, Euro S and P 2021 - Virtual, Online, Austria Duration: 6 Sep 2021 → 10 Sep 2021 |
Publication series
| Name | Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021 |
|---|
Conference
| Conference | 6th IEEE European Symposium on Security and Privacy, Euro S and P 2021 |
|---|---|
| Country/Territory | Austria |
| City | Virtual, Online |
| Period | 6/09/21 → 10/09/21 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 44154726