Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
The work
| Authors | Radu Mateescu; Wendelin Serwe; Aymane Bouzafour; Marc Renaudin |
|---|---|
| Editors | |
| Type | article |
| Year | 2020 |
| Citekey | mateescu2020modeling |
Where it appeared
| Published in | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 316 |
| Pages | 200--239 |
Identifiers
| arXiv | 2004.13289 |
|---|---|
| DOI | 10.4204/eptcs.316.8 |
| ISSN | 2075-2180 |
Access
| Landing page | https://doi.org/10.4204/eptcs.316.8 |
|---|
Related
| Distinct from | bouzafour2018modelchecking |
|---|---|
| Distinct from | camilleri1986hardware |
| Distinct from | cardelli1982algebraic |
| Distinct from | curzon1994formalb |
| Distinct from | elshehaby2023susceptibility |
| Distinct from | ferres2023electrical |
| Distinct from | melham1990formalizing |
| Distinct from | seger1995formal |
From crossref.
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.
A copy is held
pdf, 427.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-16 04:53 UTC |
| Approved by | a person 2026-10-02 10:03 UTC |
Filed under
eptcs hardware-security proved-here-used-there renaudin serwe
Cite it as
@article{mateescu2020modeling,
title = {Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks},
author = {Radu Mateescu and Wendelin Serwe and Aymane Bouzafour and Marc Renaudin},
year = {2020},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
volume = {316},
pages = {200--239},
issn = {2075-2180},
eprint = {2004.13289},
doi = {10.4204/eptcs.316.8},
}
This record lives at https://refs.drheap.org/mateescu2020modeling/ and will keep doing so.