An In-Depth Symbolic Security Analysis of the ACME Standard

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 12, 2021
Source ID
10.1145/3460120.3484588

Entities

People

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

Organizations

  • European Research Council
  • Indian Institute of Technology Gandhinagar
  • Institut National de Recherche en Informatique et en Automatique
  • Office of Naval Research
  • University of Stuttgart