An In-Depth Symbolic Security Analysis of the ACME Standard - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

An In-Depth Symbolic Security Analysis of the ACME Standard

Karthikeyan Bhargavan
Programming securely with cryptography
Abhishek Bichhawat
Indian Institute of Technology [Gandhinagar]
Quoc Huy Do
  • Fonction : Auteur
Universität Stuttgart [Stuttgart]
Pedram Hosseyni
  • Fonction : Auteur
Universität Stuttgart [Stuttgart]
Ralf Küsters
Universität Stuttgart [Stuttgart]
Guido Schmitz
Universität Stuttgart [Stuttgart]
Tim Würtele
Universität Stuttgart [Stuttgart]

Domaines

Informatique et langage [cs.CL] Cryptographie et sécurité [cs.CR]

Bhargavan Karthikeyan  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03540403

Soumis le : lundi 24 janvier 2022-06:57:18

Dernière modification le : mardi 3 octobre 2023-17:18:04

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
38 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More