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

doi:10.1109/EuroSP51992.2021.00042

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

Department of Information Security

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1109/EuroSP51992.2021.00042
Publication status	Published - Sept 2021
Event	6th IEEE European Symposium on Security and Privacy, Euro S and P 2021 - Virtual, Online, Austria Duration: 6 Sept 2021 → 10 Sept 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

Access to Document

10.1109/EuroSP51992.2021.00042

Cite this

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

Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Do, Quoc Huy et al. / 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).

@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",

}

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

DY^∗: A modular symbolic verification framework for executable cryptographic protocol code. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy et al.
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

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

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 -

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). doi: 10.1109/EuroSP51992.2021.00042