Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design
Computing hardware has become an attractive attack surface due to the globalization of semi-conductor design and supply chain, and the wide integration of third-party intellectual property cores. Recently, gate-level information flow tracking (GLIFT) has been proposed to monitor the flow of informat...
Main Authors: | Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lu Zhang |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2018-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8169664/ |
Similar Items
-
Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
by: Ali A. Noroozi, et al.
Published: (2019-06-01) -
Information Flow Security in Component-Based Models : From verification to Implementation
by: Ben Said, Najah
Published: (2016) -
Building a Secure Scheme for a Trusted Hardware Sharing Environment
by: Di Lu, et al.
Published: (2017-01-01) -
Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments
by: Ning Xi, et al.
Published: (2019-08-01) -
A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
by: E. Ju. Antoshina, et al.
Published: (2014-08-01)