Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
| Description: | shield: a particular asynchronous circuit designed for the protection of another (asynchronous) circuit against certain physical attacks |
| Author(s): | Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin |
| Event(s): | MARS'20 |
| Paper(s): |
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.
Model(s)
-
- Download Model
- Browse Model
- tool(s): LNT (CADP)
This work is licensed under a Creative Commons
Attribution-NonCommercial-ShareAlike 4.0 International License.