.png){kind=icon}
返回
Hardware Information Flow Tracking
.png){kind=icon}
OA
AI
DOI：10.1145/3447867.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Information flow tracking (IFT) is a fundamental computer security technique used to understand how information moves through a computing system. Hardware IFT techniques specifically target security vulnerabilities related to the design, verification, testing, manufacturing, and deployment of hardware circuits. Hardware IFT can detect unintentional design flaws, malicious circuit modifications, timing side channels, access control violations, and other insecure hardware behaviors. This article surveys the area of hardware IFT. We start with a discussion on the basics of IFT, whose foundations were introduced by Denning in the 1970s. Building upon this, we develop a taxonomy for hardware IFT. We use this to classify and differentiate hardware IFT tools and techniques. Finally, we discuss the challenges yet to be resolved. The survey shows that hardware IFT provides a powerful technique for identifying hardware security vulnerabilities, as well as verifying and enforcing hardware security properties.
Keyword:
Hardware security
information flow security
information flow tracking
security verification
formal method
survey
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
引用论文
The importance of central noradrenergic neurones in the formation of an olfactory memory in the prevention of pregnancy block.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏Fine structure of normal and degenerating primary afferent boutons associated with characterized spinocervical tract neurons in the catNeuroscience
NeuroscienceIF0
PREAI
分享收藏Dramatic intraspecimen variations within the injected venom of Conus consors: An unsuspected contribution to venom diversityToxicon
ToxiconIF0
PREAI
分享收藏
查看更多内容