An In-Depth Symbolic Security Analysis of the ACME Standard

Research output: Other contribution

Published

Standard

An In-Depth Symbolic Security Analysis of the ACME Standard. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy et al.
2021.

Research output: Other contribution

Harvard

Bhargavan, K, Bichhawat, A, Do, QH, Hosseyni, P, Küsters, R, Schmitz, G & Würtele, T 2021, An In-Depth Symbolic Security Analysis of the ACME Standard..

APA

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., & Würtele, T. (2021). An In-Depth Symbolic Security Analysis of the ACME Standard.

Vancouver

Bhargavan K, Bichhawat A, Do QH, Hosseyni P, Küsters R, Schmitz G et al. An In-Depth Symbolic Security Analysis of the ACME Standard. 2021.

Author

Bhargavan, Karthikeyan ; Bichhawat, Abhishek ; Do, Quoc Huy et al. / An In-Depth Symbolic Security Analysis of the ACME Standard. 2021.

Bibtex

@misc{d291383a9e524ef38135bbbb162ed3a3,

title = "An In-Depth Symbolic Security Analysis of the ACME Standard",

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

year = "2021",

language = "English",

type = "Other",

}

RIS

TY - GEN

T1 - An In-Depth Symbolic Security Analysis of the ACME Standard

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

Y1 - 2021

UR - https://ia.cr/2021/1457

M3 - Other contribution

ER -

Research