๐ฎ
๐ฎ
The Ethereal
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
April 28, 2020 ยท The Ethereal ยท ๐ MARS
"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 Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal