An In-Depth Symbolic Security Analysis of the ACME Standard. / Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc Huy; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Würtele, Tim.

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 proceedingConference contribution

Published
  • Karthikeyan Bhargavan
  • Abhishek Bichhawat
  • Quoc Huy Do
  • Pedram Hosseyni
  • Ralf Küsters
  • Guido Schmitz
  • Tim Würtele
Original languageEnglish
Title of host publicationCCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
PublisherAssociation for Computing Machinery (ACM)
Pages2601-2617
Number of pages17
ISBN (Electronic)9781450384544
DOIs
Publication statusPublished - 13 Nov 2021
Event27th ACM Annual Conference on Computer and Communication Security, CCS 2021 - Virtual, Online, Korea, Republic of
Duration: 15 Nov 202119 Nov 2021

Publication series

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

Conference

Conference27th ACM Annual Conference on Computer and Communication Security, CCS 2021
Country/TerritoryKorea, Republic of
CityVirtual, Online
Period15/11/2119/11/21
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 44154834