Isadora：面向硬件设计的信息流属性自动生成方法
密码学与安全
2021-10-05 v2 硬件体系结构
摘要
Isadora是一种用于创建硬件设计信息流规范的方法论。该方法论结合了信息流追踪与规范挖掘，生成一组适用于安全验证过程的信息流属性，并有助于更好地理解设计的安全态势。Isadora完全自动化；用户仅需提供待考察的设计与测试平台，无需提供威胁模型或安全规范。我们在一款RISC-V处理器以及两个与SoC访问控制相关的设计上评估了Isadora。Isadora生成的安全属性与通用弱点枚举（CWE）所建议的属性一致，并且在SoC设计的情况下，与安全工作专家手动编写的属性一致。
引用
@article{arxiv.2106.07449,
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},
journal= {arXiv preprint arXiv:2106.07449},
year = {2021}
}
备注
10 pages, 4 figures, accepted at ASHES 2021