Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
arXiv:2004.13289 · doi:10.4204/EPTCS.316.8
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.
In Proceedings MARS 2020, arXiv:2004.12403