Isadora: Automated Information Flow Property Generation for Hardware Designs
The work
| Authors | Calvin Deutschbein; Andres Meza; Francesco Restuccia; Ryan Kastner; Cynthia Sturton |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2021 |
| Citekey | deutschbein2021isadora |
Where it appeared
| Published in | Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security (ASHES 2021) |
|---|
Identifiers
| arXiv | 2106.07449 from its landing_page_url |
|---|
Access
| Landing page | https://arxiv.org/abs/2106.07449 |
|---|
Related
| Contained in | deutschbein2021mining |
|---|---|
| Distinct from | deutschbein2026information |
| Distinct from | lyu2020systemonchip |
| Distinct from | pulavarthi2025are |
From bibtex.
Abstract
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during the security validation process, and which support a better understanding of the security posture of the design. Isadora is fully automated; the user provides only the design under consideration and a testbench and need not supply a threat model nor security specifications. We evaluate Isadora on a RISC-V processor plus two designs related to SoC access control. Isadora generates security properties that align with those suggested by the Common Weakness Enumerations (CWEs), and in the case of the SoC designs, align with the properties written manually by security experts.
A copy is held
pdf, 934.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-18 00:34 UTC |
| Approved by | a person 2026-10-05 21:19 UTC |
Filed under
Cite it as
@inproceedings{deutschbein2021isadora,
title = {Isadora: Automated Information Flow Property Generation for Hardware Designs},
author = {Calvin Deutschbein and Andres Meza and Francesco Restuccia and Ryan Kastner and Cynthia Sturton},
year = {2021},
booktitle = {Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security (ASHES 2021)},
}
This record lives at https://refs.drheap.org/deutschbein2021isadora/ and will keep doing so.