Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks

April 28, 2020 ยท The Ethereal ยท ๐Ÿ› MARS

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin arXiv ID 2004.13289 Category cs.LO: Logic in CS Cross-listed cs.CR Citations 2 Venue MARS Last Checked 5 months ago
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.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS