Skip to Main content Skip to Navigation
Conference papers

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Radu Mateescu 1 Wendelin Serwe 1 Aymane Bouzafour 2 Marc Renaudin 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 Tiempo SAS [Montbonnot Saint Martin]
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.
Document type :
Conference papers
Complete list of metadata

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

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

Identifiers

Collections

LIG | LIG_MFML_CONVECS | INRIA | CONVECS | CNRS | CYBERALPS | SILECS | GRID5000 | UGA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

135

Files downloads

492

 

Contact                    Legal Notice                    Personal Data