Feb 15, 2023 · Our key idea is to perform memory protection based on field-sensitive data-flow integrity. Specifically, our method (1) computes a safe write- ...

The results show that the proposed approach scales as well as a field-based approach, whereas the approach using bounded access paths runs out of memory. I.

Aug 14, 2019 · Its CFG is built by piggybacking on the analysis of a demand-driven, context-, flow-, and field- sensitive static points-to analysis based on ...

Jun 3, 2016 · Information flow control is a superset of measures to protect the control and data flow of programs from malicious interference.

Feb 15, 2023 · FIX-Sense combines field-sensitive value-flow analysis and data-flow integrity (DFI) [1], with emphasis on efficient and backward-compatible ...

Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string ...

Sep 13, 2024 · Since our static analysis gathers context information and is field-sensitive, it demands to differentiate between instrumenting normal variables ...

Data-Flow Integrity (DFI) is a generic defense against such attacks. Its security guarantee mainly depends on the accuracy of the static Data-Flow Graph (DFG) ...

It is both scalable and context-,flow- and field-sensitive. ○ Though, it fails to solve large number of pointers and returns imprecise points-to result ...

Oct 27, 2023 · Second, the integrity protection of non-control data requires inter-procedural data-flow analysis, instrumentation, encryption, masking, etc.