Secure Program Execution via Dynamic Information Flow Tracking

Operating Systems Review (ACM) - United States
doi 10.1145/1037949.1024404
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Secure Program Execution via Dynamic Information Flow Tracking

ACM SIGPLAN Notices
2004English

Secure Information Flow via Stripping and Fast Simulation

English

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Verification of Dynamic Memory Allocators Based on Symbolic Program Execution

Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2020English

SeCReT: Secure Channel Between Rich Execution Environment and Trusted Execution Environment

2015English

Lenient Array Operations for Practical Secure Information Flow

English

Permissive Dynamic Information Flow Analysis

2010English

Using Information Flow Methods to Secure Cyber-Physical Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2015English

Self-Adaptation and Secure Information Flow in Multiparty Communications

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy