Register transfer level information flow tracking for provably secure hardware design

2017 ◽  
Author(s):  
Armaiti Ardeshiricham ◽  
Wei Hu ◽  
Joshua Marxen ◽  
Ryan Kastner
Keyword(s):  
Information Flow ◽  
Hardware Design ◽  
Register Transfer Level ◽  
Information Flow Tracking ◽  
Register Transfer ◽  
Secure Hardware ◽  
Level Information ◽  
Provably Secure

Expanding Gate Level Information Flow Tracking for Multilevel Security

2013 ◽  
Vol 5 (2) ◽  
pp. 25-28 ◽  
Author(s):  
Wei Hu ◽  
J. Oberg ◽  
J. Barrientos ◽  
Dejun Mu ◽  
R. Kastner
Keyword(s):  
Information Flow ◽  
Multilevel Security ◽  
Information Flow Tracking ◽  
Level Information

scholarly journals Detecting Hardware Trojans with Gate-Level Information-Flow Tracking

Computer ◽  
2016 ◽  
Vol 49 (8) ◽  
pp. 44-52 ◽  
Author(s):  
Wei Hu ◽  
Baolei Mao ◽  
Jason Oberg ◽  
Ryan Kastner
Keyword(s):  
Information Flow ◽  
Hardware Trojans ◽  
Information Flow Tracking ◽  
Level Information

Gate-Level Information-Flow Tracking for Secure Architectures

IEEE Micro ◽  
2010 ◽  
Vol 30 (1) ◽  
pp. 92-100 ◽  
Author(s):  
Mohit Tiwari ◽  
Xun Li ◽  
Hassan M.G. Wassel ◽  
Bita Mazloom ◽  
Shashidhar Mysore ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Tracking ◽  
Level Information

Generating optimized gate level information flow tracking logic for enforcing multilevel security

2016 ◽  
Vol 50 (5) ◽  
pp. 361-368
Author(s):  
Yu Tai ◽  
Wei Hu ◽  
Hui-Xiang Zhang ◽  
De-Jun Mu ◽  
Xing-Li Huang
Keyword(s):  
Information Flow ◽  
Multilevel Security ◽  
Information Flow Tracking ◽  
Level Information

scholarly journals Gate-Level Information Flow Tracking for Security Lattices

2014 ◽  
Vol 20 (1) ◽  
pp. 1-25 ◽  
Author(s):  
Wei Hu ◽  
Dejun Mu ◽  
Jason Oberg ◽  
Baolei Mao ◽  
Mohit Tiwari ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Tracking ◽  
Level Information

scholarly journals Theoretical Fundamentals of Gate Level Information Flow Tracking

2011 ◽  
Vol 30 (8) ◽  
pp. 1128-1140 ◽  
Author(s):  
Wei Hu ◽  
Jason Oberg ◽  
Ali Irturk ◽  
Mohit Tiwari ◽  
Timothy Sherwood ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Tracking ◽  
Level Information
Sign in / Sign up

Export Citation Format

Share Document