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

Standard

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

Harvard

Bhargavan, K, Bichhawat, A, Do, QH, Hosseyni, P, Küsters, R, Schmitz, G & Würtele, T 2021, DY: A modular symbolic verification framework for executable cryptographic protocol code. in Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021. Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021, Institute of Electrical and Electronics Engineers Inc., pp. 523-542, 6th IEEE European Symposium on Security and Privacy, Euro S and P 2021, Virtual, Online, Austria, 6/09/21. https://doi.org/10.1109/EuroSP51992.2021.00042

APA

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., & Würtele, T. (2021). DY: A modular symbolic verification framework for executable cryptographic protocol code. In Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021 (pp. 523-542). (Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP51992.2021.00042

Vancouver

Bhargavan K, Bichhawat A, Do QH, Hosseyni P, Küsters R, Schmitz G et al. DY: A modular symbolic verification framework for executable cryptographic protocol code. In 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). https://doi.org/10.1109/EuroSP51992.2021.00042

Author

Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Do, Quoc Huy ; Hosseyni, Pedram ; Küsters, Ralf ; Schmitz, Guido ; Würtele, Tim. / DY : A modular symbolic verification framework for executable cryptographic protocol code. Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021. Institute of Electrical and Electronics Engineers Inc., 2021. pp. 523-542 (Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021).

BibTeX

@inproceedings{51408dc7cc3c462b9df4eb998a148786,
title = "DY∗: A modular symbolic verification framework for executable cryptographic protocol code",
author = "Karthikeyan Bhargavan and Abhishek Bichhawat and Do, {Quoc Huy} and Pedram Hosseyni and Ralf K{\"u}sters and Guido Schmitz and Tim W{\"u}rtele",
note = "Funding Information: This work was partially supported by Deutsche For-schungsgemeinschaft (DFG) through Grant KU 1434/10-2 and the ERC Grant CIRCUS-683032. Publisher Copyright: {\textcopyright} 2021 IEEE.; 6th IEEE European Symposium on Security and Privacy, Euro S and P 2021 ; Conference date: 06-09-2021 Through 10-09-2021",
year = "2021",
month = sep,
doi = "10.1109/EuroSP51992.2021.00042",
language = "English",
isbn = "978-1-6654-3048-7",
series = "Proceedings - 2021 IEEE European Symposium on Security and Privacy, EuroS&P 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "523--542",
booktitle = "Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021",
address = "United States",

}

RIS

TY - GEN

T1 - DY∗

T2 - 6th IEEE European Symposium on Security and Privacy, Euro S and P 2021

AU - Bhargavan, Karthikeyan

AU - Bichhawat, Abhishek

AU - Do, Quoc Huy

AU - Hosseyni, Pedram

AU - Küsters, Ralf

AU - Schmitz, Guido

AU - Würtele, Tim

N1 - Funding Information: This work was partially supported by Deutsche For-schungsgemeinschaft (DFG) through Grant KU 1434/10-2 and the ERC Grant CIRCUS-683032. Publisher Copyright: © 2021 IEEE.

PY - 2021/9

Y1 - 2021/9

UR - http://www.scopus.com/inward/record.url?scp=85119261371&partnerID=8YFLogxK

U2 - 10.1109/EuroSP51992.2021.00042

DO - 10.1109/EuroSP51992.2021.00042

M3 - Conference contribution

AN - SCOPUS:85119261371

SN - 978-1-6654-3048-7

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

SP - 523

EP - 542

BT - Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 6 September 2021 through 10 September 2021

ER -