Efficient dynamic information flow tracking on a processor with core debug interface

2015 ◽  
Author(s):  
Jinyong Lee ◽  
Ingoo Heo ◽  
Yongje Lee ◽  
Yunheung Paek
Keyword(s):  
Information Flow ◽  
Dynamic Information ◽  
Information Flow Tracking ◽  
Dynamic Information Flow Tracking

An Enhanced Dynamic Information Flow Tracking Method with Reverse Stack Execution

2015 ◽  
Vol 3 (1) ◽  
pp. 40-58 ◽  
Author(s):  
Anna Trikalinou ◽  
Nikolaos Bourbakis
Keyword(s):  
Programming Languages ◽  
Information Flow ◽  
Attack Detection ◽  
Control Flow ◽  
Security Issue ◽  
Memory Errors ◽  
Dynamic Information ◽  
C Programs ◽  
Information Flow Tracking ◽  
Dynamic Information Flow Tracking

Memory errors have long been a critical security issue primarily for C/C++ programming languages and are still considered one of the top three most dangerous software errors according to the MITRE ranking. In this paper the authors focus on their exploitation via control-flow hijacking and data-only attacks (stack, and partially heap (G. Novarck & E. Berger, 2010)) by proposing a synergistic security methodology, which can accurately detect and thwart them. Their methodology is based on the Dynamic Information Flow Tracking (DIFT) technique and improves its data-only attack detection by utilizing features from the Reverse Stack Execution (RSE) security technique. Thus, the authors can significantly lower the resource consumption of the latter methodology, while increasing the former's accuracy. Their proof-of-concept compiler implementation verifies their assumptions and is able to protect vulnerable C programs against various real-world attack scenarios.

scholarly journals Secure program execution via dynamic information flow tracking

2004 ◽  
Vol 32 (5) ◽  
pp. 85-96 ◽  
Author(s):  
G. Edward Suh ◽  
Jae W. Lee ◽  
David Zhang ◽  
Srinivas Devadas
Keyword(s):  
Information Flow ◽  
Program Execution ◽  
Dynamic Information ◽  
Information Flow Tracking ◽  
Dynamic Information Flow Tracking

scholarly journals TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking

2019 ◽  
Vol 38 (5) ◽  
pp. 798-808 ◽  
Author(s):  
Christian Pilato ◽  
Kaijie Wu ◽  
Siddharth Garg ◽  
Ramesh Karri ◽  
Francesco Regazzoni
Keyword(s):  
Information Flow ◽  
High Level Synthesis ◽  
Dynamic Information ◽  
Information Flow Tracking ◽  
High Level ◽  
Dynamic Information Flow Tracking

Challenges and Opportunities for Practical and Effective Dynamic Information Flow Tracking

2023 ◽  
Vol 55 (1) ◽  
pp. 1-33
Author(s):  
Christopher Brant ◽  
Prakash Shrestha ◽  
Benjamin Mixon-Baca ◽  
Kejun Chen ◽  
Said Varlioglu ◽  
...  
Keyword(s):  
Information Flow ◽  
Common Knowledge ◽  
Two Dimensions ◽  
Control Mechanisms ◽  
Dynamic Information ◽  
Information Flow Tracking ◽  
Security Applications ◽  
Effective Dynamic ◽  
Challenges And Opportunities ◽  
Dynamic Information Flow Tracking

Information flow tracking was proposed more than 40 years ago to address the limitations of access control mechanisms to guarantee the confidentiality and integrity of information flowing within a system, but has not yet been widely applied in practice for security solutions. Here, we survey and systematize literature on dynamic information flow tracking (DIFT) to discover challenges and opportunities to make it practical and effective for security solutions. We focus on common knowledge in the literature and lingering research gaps from two dimensions— (i) the layer of abstraction where DIFT is implemented (software, software/hardware, or hardware) and (ii) the security goal (confidentiality and/or integrity). We observe that two major limitations hinder the practical application of DIFT for on-the-fly security applications: (i) high implementation overhead and (ii) incomplete information flow tracking (low accuracy). We posit, after review of the literature, that addressing these major impedances via hardware parallelism can potentially unleash DIFT’s great potential for systems security, as it can allow security policies to be implemented in a built-in and standardized fashion. Furthermore, we provide recommendations for the next generation of practical and efficient DIFT systems with an eye towards hardware-supported implementations.

Sign in / Sign up

Export Citation Format

Share Document