Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.inria.fr/hal-02559125
Contributor : Radu Mateescu <>
Submitted on : Thursday, April 30, 2020 - 10:45:51 AM
Last modification on : Tuesday, November 24, 2020 - 4:00:17 PM

File

Mateescu-Serwe-Bouzafour-Renau...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

116

Files downloads

474