Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

(1) , (1) , (2) , (2)
1
2

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⟩
212 View
94 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More