Secure program execution via dynamic information flow tracking

No abstract is available for this paper.

• Publication year

  2004

• Venue

  ASPLOS XI

• Publication date

  2004-10-07

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1024393.1024404
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Format String Attacks

  2005influential reference
• Format String Attacks

  2005cited by this paper
• Enlisting Hardware Architecture to Thwart Malicious Code Injection

  2004cited by this paper
• A Practical Dynamic Buffer Overflow Detector

  2004cited by this paper
• PointGuard™: Protecting Pointers from Buffer Overflow Vulnerabilities

  2003cited by this paper
• A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention

  2003cited by this paper
• AEGIS: architecture for tamper-evident and tamper-resistant processing

  2003cited by this paper
• Buffer overrun detection using linear programming and static analysis

  2003cited by this paper
• CCured: type-safe retrofitting of legacy code

  2002influential reference
• Mondrian memory protection

  2002influential reference
• Secure Execution via Program Shepherding

  2002cited by this paper
• Cyclone: A Safe Dialect of C

  2002influential reference
• Architecture Support for Defending Against Buffer Overflow Attacks

  2002cited by this paper
• StackGhost: Hardware Facilitated Stack Protection

  2001cited by this paper
• Cacti 3. 0: an integrated cache timing, power, and area model

  2001cited by this paper
• This copyright notice must be included in the reproduced paper. USENIX acknowledges all trademarks herein. Detecting Format String Vulnerabilities with Type Qualifiers

  2001cited by this paper
• FormatGuard: Automatic Protection From printf Format String Vulnerabilities

  2001cited by this paper
• SPEC CPU2000: Measuring CPU Performance in the New Millennium

  2000cited by this paper
• Architectural support for copy and tamper resistant software

  2000cited by this paper
• Transparent Run-Time Defense Against Stack-Smashing Attacks

  2000cited by this paper
• StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks

  1998influential reference
• Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

  1997cited by this paper
• The SimpleScalar tool set, version 2.0

  1997cited by this paper
• Smashing The Stack For Fun And Profit

  1996cited by this paper
• A hardware architecture for controlling information flow

  1978cited by this paper

• Security Helper Chiplets: A New Paradigm for Secure Hardware Monitoring

  2025cites this paper
• TrackRISC: An Implicit Attack Flow Model and Hardware Microarchitectural Mitigation for Speculative Cache-Based Covert Channels

  2025cites this paper
• ShadowBinding: Realizing Effective Microarchitectures for In-Core Secure Speculation Schemes

  2025cites this paper
• MAGNET: Memory Tagging with Efficient Tag Prediction

  2025cites this paper
• CCTAG: Configurable and Combinable Tagged Architecture

  2025cites this paper
• MicroSampler: A Framework for Microarchitecture-Level Leakage Detection in Constant Time Execution

  2025cites this paper
• ECP: Coprocessor Architecture to Protect Program Logic Consistency

  2025cites this paper
• IoT-CODIFT: Compiler Optimization DIFT for IoT and Embedded Devices

  2025cites this paper
• Descriptor-Based Object-Aware Memory Systems: A Comprehensive Review

  2025cites this paper
• Limitations and Opportunities of Modern Hardware Isolation Mechanisms

  2024cites this paper
• Cloud Security Using Fine-Grained Efficient Information Flow Tracking

  2024cites this paper
• Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective

  2024cites this paper
• Compression and In-Situ Query Processing for Fine-Grained Array Lineage

  2024cites this paper
• Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries

  2024cites this paper
• CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact)

  2024cites this paper
• Dynamic Possible Source Count Analysis for Data Leakage Prevention

  2024cites this paper
• Practical Data-Only Attack Generation

  2024cites this paper
• sMVX: Multi-Variant Execution on Selected Code Paths

  2024cites this paper
• Dynamic Controllability Analysis for Preventing Injection Attacks

  2024cites this paper
• μCFI: Formal Verification of Microarchitectural Control-flow Integrity

  2024cites this paper
• Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC

  2024cites this paper
• A Parallel Tag Cache for Hardware Managed Tagged Memory in Multicore Processors

  2024cites this paper
• Unlocking Hardware Security Assurance: The Potential of LLMs

  2023cites this paper
• Security Verification of RISC-V System Based on ISA Level Information Flow Tracking

  2023cites this paper
• Secure Instruction and Data-Level Information Flow Tracking Model for RISC-V

  2023cites this paper
• SPEAR-V: Secure and Practical Enclave Architecture for RISC-V

  2023cites this paper
• A Survey on Thwarting Memory Corruption in RISC-V

  2023cites this paper
• EXERTv2: Exhaustive Integrity Analysis for Information Flow Security with FSM Integration

  2023cites this paper
• SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics

  2023cites this paper
• podft: On Accelerating Dynamic Taint Analysis with Precise Path Optimization

  2023cites this paper
• WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants

  2023cites this paper
• DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems

  2023cites this paper
• MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems

  2023cites this paper
• Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging

  2023cites this paper
• Automated Adversary-in-the-Loop Cyber-Physical Defense Planning

  2023cites this paper
• Safety Hints for HTM Capacity Abort Mitigation

  2023cites this paper
• Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities

  2023cites this paper
• Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

  2023cites this paper
• FSAFlow: Lightweight and Fast Dynamic Path Tracking and Control for Privacy Protection on Android Using Hybrid Analysis with State-Reduction Strategy

  2022cites this paper
• CellIFT: Leveraging Cells for Scalable and Precise Dynamic Information Flow Tracking in RTL

  2022cites this paper
• A review of auxiliary hardware architectures supporting dynamic taint analysis

  2022cites this paper
• Taint Trace Analysis For Java Web Applications

  2022cites this paper
• Security as an Important Ingredient in Neuromorphic Engineering

  2022cites this paper
• DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems

  2022cites this paper
• Accelerators & Security: The Socket Approach

  2022cites this paper
• TAG: Tagged Architecture Guide

  2022influential citation
• PACMAN: Attacking ARM Pointer Authentication With Speculative Execution

  2022cites this paper
• SpecTerminator: Blocking Speculative Side Channels Based on Instruction Classes on RISC-V

  2022cites this paper
• Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL

  2022cites this paper
• SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors

  2022cites this paper
• A Review on Library Fuzzing Tools

  2022cites this paper
• libdft : Dynamic Data Flow Tracking for the Masses

  2022cites this paper
• DIFCS: A Secure Cloud Data Sharing Approach Based on Decentralized Information Flow Control

  2022cites this paper
• BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking

  2022cites this paper
• Scooter & Sidecar: a domain-specific approach to writing secure database migrations

  2021cites this paper
• SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting

  2021cites this paper
• Revisiting challenges for selective data protection of real applications

  2021cites this paper
• I See Dead µops: Leaking Secrets via Intel/AMD Micro-Op Caches

  2021cites this paper
• General, Efficient, and Real-Time Data Compaction Strategy for APT Forensic Analysis

  2021cites this paper
• Automatic Vulnerability Detection in Embedded Devices and Firmware

  2021cites this paper
• MetaSys: A Practical Open-source Metadata Management System to Implement and Evaluate Cross-layer Optimizations

  2021cites this paper
• DOVE: A Data-Oblivious Virtual Environment

  2021cites this paper
• Vertical IP Protection of the Next-Generation Devices: Quo Vadis?

  2021cites this paper
• Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges

  2021cites this paper
• Model-based configuration of access protection units for multicore processors in embedded systems

  2021cites this paper
• Challenges and Opportunities for Practical and Effective Dynamic Information Flow Tracking

  2021influential citation
• On Building the Data-Oblivious Virtual Environment

  2021cites this paper
• Resilient CFI: Compiler-based Attack Origin Tracking with Dynamic Taint Analysis

  2021cites this paper
• High-Level Synthesis of Security Properties via Software-Level Abstractions

  2021cites this paper
• Hardware Information Flow Tracking

  2021influential citation
• A multi-flow information flow tracking approach for proving quantitative hardware security properties

  2021cites this paper
• Information Flow Control for Serverless Systems

  2021cites this paper
• VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes

  2021cites this paper
• FlowDist: Multi-Staged Refinement-Based Dynamic Information Flow Analysis for Distributed Software Systems

  2021cites this paper
• Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis

  2021cites this paper
• Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy

  2021cites this paper
• Multi granular level-based IFT model for RISC-V

  2021cites this paper
• INTROSPECTRE: A Pre-Silicon Framework for Discovery and Analysis of Transient Execution Vulnerabilities

  2021cites this paper
• An application specific dynamic behaviour model using function-call sequence and memory access-graph for execution integrity verification

  2021cites this paper
• SchedGuard: Protecting against Schedule Leaks Using Linux Containers

  2021cites this paper
• Security Against Data-Sniffing and Alteration Attacks in IJTAG

  2021cites this paper
• Information flow based defensive chain for data leakage detection and prevention: a survey

  2021cites this paper
• Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs

  2021cites this paper
• Secure autonomous charging stations: machine-to-machine authentication framework

  2021cites this paper
• RESTful and Light Weight Dynamic Information Flow Tracking-Based Computer Security Systems

  2021influential citation
• Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking

  2021cites this paper
• Application II: Security Validation

  2020cites this paper
• Metering Graphical Data Leakage with Snowman

  2020cites this paper
• Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach

  2020cites this paper
• Building a portable deeply-nested implicit information flow tracking

  2020cites this paper
• A Multi-Agent Reinforcement Learning Approach for Dynamic Information Flow Tracking Games for Advanced Persistent Threats

  2020influential citation
• CHEx86: Context-Sensitive Enforcement of Memory Safety via Microcode-Enabled Capabilities

  2020influential citation
• Stochastic Dynamic Information Flow Tracking Game using Supervised Learning for Detecting Advanced Persistent Threats

  2020cites this paper
• Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes

  2020influential citation
• Efficient monitoring of hyperproperties using prefix trees

  2020cites this paper
• Speculative Data-Oblivious Execution: Mobilizing Safe Prediction For Safe and Efficient Speculative Execution

  2020cites this paper
• Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions

  2020cites this paper
• PHMon: A Programmable Hardware Monitor and Its Security Use Cases

  2020cites this paper
• MITOS: Optimal Decisioning for the Indirect Flow Propagation Dilemma in Dynamic Information Flow Tracking Systems

  2020cites this paper
• Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics

  2020cites this paper