Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Résumé

Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at various abstraction levels, a patented asynchronous circuit for detecting physical attacks, such as cutting wires or producing short-circuits.
Fichier principal
Vignette du fichier
Mateescu-Serwe-Bouzafour-Renaudin-20.pdf (428.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02559125 , version 1 (30-04-2020)

Identifiants

Citer

Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin. Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩. ⟨hal-02559125⟩
267 Consultations
122 Téléchargements

Altmetric

Partager

More