Layered Symbolic Security Analysis in DY*

Research output: Other contribution

Published

Standard

Layered Symbolic Security Analysis in DY*. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram et al.
2023.

Research output: Other contribution

Harvard

Bhargavan, K, Bichhawat, A, Hosseyni, P, Küsters, R, Pruiksma, K, Schmitz, G, Waldmann, C & Würtele, T 2023, Layered Symbolic Security Analysis in DY*..

APA

Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C., & Würtele, T. (2023, Sept 8). Layered Symbolic Security Analysis in DY*.

Vancouver

Bhargavan K, Bichhawat A, Hosseyni P, Küsters R, Pruiksma K, Schmitz G et al. Layered Symbolic Security Analysis in DY*. 2023.

Author

Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Hosseyni, Pedram et al. / Layered Symbolic Security Analysis in DY*. 2023.

Bibtex

@misc{e095357eb77247c6becdc0f5e1134821,

title = "Layered Symbolic Security Analysis in DY*",

author = "Karthikeyan Bhargavan and Abhishek Bichhawat and Pedram Hosseyni and Ralf K{\"u}sters and Klaas Pruiksma and Guido Schmitz and Clara Waldmann and Tim W{\"u}rtele",

year = "2023",

month = sep,

day = "8",

language = "English",

type = "Other",

}

RIS

TY - GEN

T1 - Layered Symbolic Security Analysis in DY*

AU - Bhargavan, Karthikeyan

AU - Bichhawat, Abhishek

AU - Hosseyni, Pedram

AU - Küsters, Ralf

AU - Pruiksma, Klaas

AU - Schmitz, Guido

AU - Waldmann, Clara

AU - Würtele, Tim

PY - 2023/9/8

Y1 - 2023/9/8

UR - https://eprint.iacr.org/2023/1329

M3 - Other contribution

ER -

Research