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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2020
- DOI:
- 10.48550/arXiv.2004.13289
- arXiv:
- arXiv:2004.13289
- Bibcode:
- 2020arXiv200413289M
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Cryptography and Security
- E-Print:
- In Proceedings MARS 2020, arXiv:2004.12403