A Tutorial-Style Introduction to DY⋆

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

doi:10.1007/978-3-030-91631-2_4

A Tutorial-Style Introduction to DY^⋆

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

Royal Holloway, University of London

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

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	77-97
Number of pages	21
DOIs	https://doi.org/10.1007/978-3-030-91631-2_4
Publication status	Published - 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13066 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Cryptographic protocols
F
Formal methods
Mechanized proofs
Protocol analysis

Access to Document

10.1007/978-3-030-91631-2_4

Cite this

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., & Würtele, T. (2021). A Tutorial-Style Introduction to DY^⋆. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 77-97). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13066 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-91631-2_4

Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Do, Quoc Huy et al. / A Tutorial-Style Introduction to DY^⋆. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, 2021. pp. 77-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{f31cb27c60134d22a58a8cb903a0eb63,

title = "A Tutorial-Style Introduction to DY⋆",

keywords = "Cryptographic protocols, F, Formal methods, Mechanized proofs, Protocol analysis",

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: Acknowledgments. This work was partially supported by the Deutsche Forschungs-gemeinschaft (DFG) through Grants KU 1434/10-2 and KU 1434/12-1, the European Research Council (ERC) through Grant CIRCUS-683032, and the Office of Naval Research (ONR) through Grant N000141812618. Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.",

year = "2021",

doi = "10.1007/978-3-030-91631-2_4",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "77--97",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Bhargavan, K, Bichhawat, A, Do, QH, Hosseyni, P, Küsters, R, Schmitz, G & Würtele, T 2021, A Tutorial-Style Introduction to DY^⋆. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13066 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 77-97. https://doi.org/10.1007/978-3-030-91631-2_4

A Tutorial-Style Introduction to DY^⋆. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, 2021. p. 77-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13066 LNCS).

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

TY - CHAP

T1 - A Tutorial-Style Introduction to DY⋆

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: Acknowledgments. This work was partially supported by the Deutsche Forschungs-gemeinschaft (DFG) through Grants KU 1434/10-2 and KU 1434/12-1, the European Research Council (ERC) through Grant CIRCUS-683032, and the Office of Naval Research (ONR) through Grant N000141812618. Publisher Copyright: © 2021, Springer Nature Switzerland AG.

PY - 2021

Y1 - 2021

KW - Cryptographic protocols

KW - F

KW - Formal methods

KW - Mechanized proofs

KW - Protocol analysis

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

U2 - 10.1007/978-3-030-91631-2_4

DO - 10.1007/978-3-030-91631-2_4

M3 - Chapter

AN - SCOPUS:85119669759

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 77

EP - 97

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Science and Business Media Deutschland GmbH

ER -