An In-Depth Symbolic Security Analysis of the ACME Standard

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

doi:10.1145/3460120.3484588

An In-Depth Symbolic Security Analysis of the ACME Standard

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

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

Original language	English
Title of host publication	CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
Publisher	Association for Computing Machinery (ACM)
Pages	2601-2617
Number of pages	17
ISBN (Electronic)	9781450384544
DOIs	https://doi.org/10.1145/3460120.3484588
Publication status	Published - 13 Nov 2021
Event	27th ACM Annual Conference on Computer and Communication Security, CCS 2021 - Virtual, Online, Korea, Republic of Duration: 15 Nov 2021 → 19 Nov 2021

Publication series

Name	Proceedings of the ACM Conference on Computer and Communications Security
ISSN (Print)	1543-7221

Conference

Conference	27th ACM Annual Conference on Computer and Communication Security, CCS 2021
Country/Territory	Korea, Republic of
City	Virtual, Online
Period	15/11/21 → 19/11/21

Keywords

certificate issuance
formal protocol analysis and verification
public-key-infrastructure

Access to Document

10.1145/3460120.3484588

Cite this

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. In CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (pp. 2601-2617). (Proceedings of the ACM Conference on Computer and Communications Security). Association for Computing Machinery (ACM). https://doi.org/10.1145/3460120.3484588

@inproceedings{e8867d6107a54434a81e613ad337a1d3,

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

keywords = "certificate issuance, formal protocol analysis and verification, public-key-infrastructure",

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 the Deutsche Forschungs-gemeinschaft (DFG) through Grant KU 1434/10-2, the European Research Council (ERC) through Grant CIRCUS-683032, and the Office of Naval Research (ONR) through Grant N000141812618. Publisher Copyright: {\textcopyright} 2021 ACM.; 27th ACM Annual Conference on Computer and Communication Security, CCS 2021 ; Conference date: 15-11-2021 Through 19-11-2021",

year = "2021",

month = nov,

day = "13",

doi = "10.1145/3460120.3484588",

language = "English",

series = "Proceedings of the ACM Conference on Computer and Communications Security",

publisher = "Association for Computing Machinery (ACM)",

pages = "2601--2617",

booktitle = "CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security",

address = "United States",

}

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. in CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Proceedings of the ACM Conference on Computer and Communications Security, Association for Computing Machinery (ACM), pp. 2601-2617, 27th ACM Annual Conference on Computer and Communication Security, CCS 2021, Virtual, Online, Korea, Republic of, 15/11/21. https://doi.org/10.1145/3460120.3484588

An In-Depth Symbolic Security Analysis of the ACME Standard. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy et al.
CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), 2021. p. 2601-2617 (Proceedings of the ACM Conference on Computer and Communications Security).

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

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

N1 - Funding Information: This work was partially supported by the Deutsche Forschungs-gemeinschaft (DFG) through Grant KU 1434/10-2, the European Research Council (ERC) through Grant CIRCUS-683032, and the Office of Naval Research (ONR) through Grant N000141812618. Publisher Copyright: © 2021 ACM.

PY - 2021/11/13

Y1 - 2021/11/13

KW - certificate issuance

KW - formal protocol analysis and verification

KW - public-key-infrastructure

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

U2 - 10.1145/3460120.3484588

DO - 10.1145/3460120.3484588

M3 - Conference contribution

AN - SCOPUS:85119348693

T3 - Proceedings of the ACM Conference on Computer and Communications Security

SP - 2601

EP - 2617

BT - CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security

PB - Association for Computing Machinery (ACM)

T2 - 27th ACM Annual Conference on Computer and Communication Security, CCS 2021

Y2 - 15 November 2021 through 19 November 2021

ER -

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. In CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM). 2021. p. 2601-2617. (Proceedings of the ACM Conference on Computer and Communications Security). doi: 10.1145/3460120.3484588

An In-Depth Symbolic Security Analysis of the ACME Standard

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this