Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks - Grenoble Alpes Cybersecurity Institute Access content directly
Conference Papers Year : 2020

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
243 View
107 Download

Altmetric

Share

Gmail Facebook X LinkedIn More