RIFLE: An Architectural Framework for User-Centric Information-Flow Security

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Micro

• Publication date

  2004-12-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/MICRO.2004.31
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Run-time principals in information-flow type systems

  2004cited by this paper
• Analyzing Memory Accesses in x86 Executables

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

  2003cited by this paper
• Implementing an untrusted operating system on trusted hardware

  2003cited by this paper
• Language-based information-flow security

  2003cited by this paper
• Mondrian memory protection

  2002cited by this paper
• Microarchitectural exploration with Liberty

  2002cited by this paper
• On the importance of points-to analysis and other memory disambiguation methods for C programs

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

  2000cited by this paper
• Protecting privacy using the decentralized label model

  2000cited by this paper
• Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation

  2000cited by this paper
• JFlow: practical mostly-static information flow control

  1999influential reference
• Automated Recovery in a Secure Bootstrap Process

  1998cited by this paper
• Memory dependence prediction using store sets

  1998cited by this paper
• The SLam calculus: programming with secrecy and integrity

  1998cited by this paper
• A secure and reliable bootstrap architecture

  1997cited by this paper
• A decentralized model for information flow control

  1997cited by this paper
• Efficient context-sensitive pointer analysis for C programs

  1995cited by this paper
• Undecidability of static analysis

  1992cited by this paper
• An Analysis of Covert Timing Channels

  1991cited by this paper
• A taxonomy for information flow policies and models

  1991cited by this paper
• A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance

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

  1978cited by this paper
• A lattice model of secure information flow

  1976cited by this paper
• Information Protection Systems

  1973cited by this paper
• A note on the confinement problem

  1973cited by this paper
• Purdue e-Pubs Purdue e-Pubs

  year unknowncited by this paper

• Securing P4 Programs by Information Flow Control

  2025cites this paper
• FlexSiMArch: An Extensible Simulator for Research and Development in Secure-by-Design Processor Technologies

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

  2024cites this paper
• Methods of Identifying and Reducing Covert Channel Attacks: An Analysis

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

  2023cites this paper
• Detection and Mitigation Mechanisms for Covert Channel Attack

  2023cites this paper
• A Parallel Memory Defect Detection Method based on Sparse-Value-Flow Graph

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

  2023cites this paper
• FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation

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

  2022cites this paper
• TAG: Tagged Architecture Guide

  2022influential citation
• CPP: A lightweight memory page management extension to prevent code pointer leakage

  2022cites this paper
• Transparent DIFC: Harnessing Innate Application Event Logging for Fine-Grained Decentralized Information Flow Control

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

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

  2021influential citation
• Dynamic Information Flow Tracking: Taxonomy, Challenges, and Opportunities

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

  2021cites this paper
• Information Flow Control for Serverless Systems

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

  2021cites this paper
• Hardware Information Flow Tracking

  2021cites this paper
• DepTaint: A Static Taint Analysis Method Based on Program Dependence

  2020cites this paper
• Application II: Security Validation

  2020cites this paper
• Making Distributed Mobile Applications SAFE: Enforcing User Privacy Policies on Untrusted Applications with Secure Application Flow Enforcement

  2020cites this paper
• Information Flow Control to Secure Data in the Cloud

  2020cites this paper
• Explainable Queries over Event Logs

  2020cites this paper
• CHEx86: Context-Sensitive Enforcement of Memory Safety via Microcode-Enabled Capabilities

  2020cites this paper
• Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling

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

  2020influential citation
• Implementation of Security Systems for Detection and Prevention of Data Loss/Leakage at Organization via Traffic Inspection

  2020cites this paper
• A dynamic taint analyzer for distributed systems

  2019cites this paper
• Analytical Overview on Secure Information Flow in Android Systems: Protecting Private Data Used by Smartphone Applications

  2019cites this paper
• Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis

  2019cites this paper
• Tool Support for Confidentiality-by-Construction

  2019cites this paper
• Security validation of VP-based SoCs using dynamic information flow tracking

  2019cites this paper
• Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization

  2019cites this paper
• SpecShield: Shielding Speculative Data from Microarchitectural Covert Channels

  2019cites this paper
• Forgotten @ Scale: A Practical Solution for Implementing the Right To Be Forgotten in Large-Scale Systems

  2019cites this paper
• LATCH: A Locality-Aware Taint CHecker

  2019cites this paper
• Uncovering Information Flow Policy Violations in C Programs

  2019cites this paper
• Information Flow Certificates

  2018cites this paper
• PIITracker: Automatic Tracking of Personally Identifiable Information in Windows

  2018cites this paper
• FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking

  2018cites this paper
• Flexible Information-Flow Control

  2018cites this paper
• Secure‐CamFlow: A device‐oriented security model to assist information flow control systems in cloud environments for IoTs

  2018cites this paper
• A survey of challenges for runtime verification from advanced application domains (beyond software)

  2018cites this paper
• PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators

  2018cites this paper
• Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications

  2018cites this paper
• Front-End Profiling 3 O 2 Event Extraction Streaming Events 304 Feature Construction Streaming Features Execution Profile

  2017cites this paper
• An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code

  2017cites this paper
• Securing Personal IoT Platforms through Systematic Analysis and Design

  2017cites this paper
• Register transfer level information flow tracking for provably secure hardware design

  2017cites this paper
• A Methodology For Micro-Policies

  2017cites this paper
• IP Trust Validation Using Proof-Carrying Hardware

  2017cites this paper
• SoK : On the Soundness and Precision of Dynamic Taint Analysis

  2017cites this paper
• We Are Family: Relating Information-Flow Trackers

  2017cites this paper
• Hardware support for embedded operating system security

  2017cites this paper
• Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals

  2017cites this paper
• Program-object Level Data Flow Analysis with Applications to Data Leakage and Contamination Forensics

  2016cites this paper
• A hardware-based technique for efficient implicit information flow tracking

  2016influential citation
• A Comprehensive Investigation of User Privacy Leakage to Android Applications

  2016cites this paper
• Flexible and efficient accelerator architecture for runtime monitoring

  2016influential citation
• Explicit Secrecy: A Policy for Taint Tracking

  2016cites this paper
• FlowFence: Practical Data Protection for Emerging IoT Application Frameworks

  2016cites this paper
• Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values

  2016cites this paper
• Towards practical information flow control and audit

  2016cites this paper
• The Design and Implementation of Embedded Security CPU Based on Multi-strategy

  2016cites this paper
• Experiments with property driven monitoring of C programs

  2015cites this paper
• TaintPipe: Pipelined Symbolic Taint Analysis

  2015cites this paper
• Securing tags to control information flows within the Internet of Things

  2015cites this paper
• Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications

  2015cites this paper
• Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java. (Mandatory access control for object systems : defense in depth for Java objects)

  2015cites this paper
• Information Flow Auditing in the Cloud

  2015cites this paper
• Runtime Integrity for Cyber-Physical Infrastructures

  2015cites this paper
• Building Trusted Computer Systems via Unified Software Integrity Protection

  2015cites this paper
• Architectural Support to Accelerate Fine-Grain Program Monitoring

  2014cites this paper
• A verified information-flow architecture

  2014influential citation
• System-of-PUFs: Multilevel security for embedded systems

  2014cites this paper
• On Soundness and Precision of Dynamic Taint Analysis

  2014cites this paper
• Hybrid code analysis to detect confidentiality violations in android system. (Analyse hybride du code pour détecter les violations de la confidentialité dans le système android)

  2014cites this paper
• Information Flow Control for Secure Cloud Computing

  2014cites this paper
• TaintDroid

  2014cites this paper
• A dynamic taint tracking based method to detect sensitive information leaking

  2014cites this paper
• Lightweight automated detection of unsafe information leakage via exceptions

  2014cites this paper
• On quantitative dynamic data flow tracking

  2014cites this paper
• Practical Dynamic Information-Flow Tracking on Mobile Devices

  2014cites this paper
• Cross-Layer Data-Centric Usage Control

  2014cites this paper
• FlowR: aspect oriented programming for information flow control in ruby

  2014cites this paper
• Practical Fine-Grained Information Flow Control Using Laminar

  2014cites this paper
• Testing Hardware Security Properties and Identifying Timing Channels /

  2014cites this paper
• A Methodology for Information Flow Experiments

  2014cites this paper
• Hardware-software collaboration for secure coexistence with kernel extensions

  2014cites this paper
• D2Taint: Differentiated and dynamic information flow tracking on smartphones for numerous data sources

  2013cites this paper
• CloudSweeper: enabling data-centric document management for secure cloud archives

  2013cites this paper
• A framework for composing security-typed languages

  2013cites this paper
• Inspection-Resistant Memory Architectures

  2013cites this paper
• Runtime verification using policy-based approach to control information flow

  2013cites this paper
• Beyond Instruction Level Taint Propagation

  2013cites this paper
• Protecting Outsourced Data Privacy with Lifelong Policy Carrying

  2013cites this paper
• Transparent and precise malware analysis using virtualization: from theory to practice

  2013influential citation
• AppIntent: analyzing sensitive data transmission in android for privacy leakage detection

  2013cites this paper