  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.
