An In-Depth Symbolic Security Analysis of the ACME Standard - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021
No file

Dates and versions

hal-03540403 , version 1 (24-01-2022)

Identifiers

Cite

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, et al.. An In-Depth Symbolic Security Analysis of the ACME Standard. CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2601-2617, ⟨10.1145/3460120.3484588⟩. ⟨hal-03540403⟩

Collections

INRIA INRIA2
38 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More