Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, and Marc Renaudin

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS'2020), Dublin, Ireland, April 2020


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.

40 pages