GATE-LEVEL INFORMATION-FLOW TRACKING FOR SECURE ARCHITECTURES

被引：6
|
作者：
Tiwari, Mohit [1 ]
Li, Xun [1 ]
Wassel, Hassan M. G. [1 ]
Mazloom, Bita
Mysore, Shashidhar
Chong, Frederic T.
Sherwood, Timothy
机构：
[1] Univ Calif Santa Barbara, Dept Comp Sci, Santa Barbara, CA 93106 USA
来源：
IEEE MICRO | 2010年 / 30卷 / 01期
关键词：
Covert channels; High-assurance systems; Information-flow tracking; Noninterference; Timing channels;
D O I：
10.1109/MM.2010.17
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article describes a new method for constructing and analyzing architectures that can track all information flows within a processor, including explicit, implicit, and timing flows. The key to this approach is a novel gate-level information-flow-tracking method that provides a way to create complex logical structures with well-defined information-flow properties.
引用
收藏
页码：92 / 100
页数：9
相关论文
共 50 条
  • [1] Detecting Hardware Trojans with Gate-Level Information-Flow Tracking
    Hu, Wei
    Mao, Baolei
    Oberg, Jason
    Kastner, Ryan
    [J]. COMPUTER, 2016, 49 (08) : 44 - 52
  • [2] Gate-Level Information Flow Tracking for Security Lattices
    Hu, Wei
    Mu, Dejun
    Oberg, Jason
    Mao, Baolei
    Tiwari, Mohit
    Sherwood, Timothy
    Kastner, Ryan
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2014, 20 (01) : 1 - 25
  • [3] Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking
    Becker, Andrew
    Hu, Wei
    Tai, Yu
    Brisk, Philip
    Kastner, Ryan
    Ienne, Paolo
    [J]. PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
  • [4] Tracking Data Flow at Gate-Level through Structural Checking
    Le, Thao
    Di, Jia
    Tehranipoor, Mark
    Forte, Domenic
    Wang, Lei
    [J]. 2016 INTERNATIONAL GREAT LAKES SYMPOSIUM ON VLSI (GLSVLSI), 2016, : 185 - 189
  • [5] CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW
    DENNING, DE
    DENNING, PJ
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (07) : 504 - 513
  • [6] LATTICE MODEL OF SECURE INFORMATION-FLOW
    DENNING, DE
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (05) : 236 - 243
  • [7] Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking
    Zhao, Yiqiang
    Qu, Gonsen
    Zhang, Qizhi
    Li, Yao
    Li, Zhengyang
    He, Jiaji
    [J]. 2024 IEEE 42ND VLSI TEST SYMPOSIUM, VTS 2024, 2024,
  • [8] Exploiting behavioral information in gate-level ATPG
    Chiusano, S
    Corno, F
    Prinetto, P
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1999, 14 (1-2): : 141 - 148
  • [9] PIFT: Predictive information-flow tracking
    [J]. 1600, Association for Computing Machinery (51):
  • [10] PIFT : Predictive Information-Flow Tracking
    Yoon, Man-Ki
    Salajegheh, Negin
    Chen, Yin
    Christodorescu, Mihai
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (04) : 713 - 725
12345