Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ben Hardekopf
Timing- And Termination-Sensitive Secure Information Flow: Exploring a New Approach
Semi-Sparse Flow-Sensitive Pointer Analysis
ACM SIGPLAN Notices
Computer Science
Related publications
A New Approach to Secure Logging
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Secure Information Flow via Stripping and Fast Simulation
Self-Adaptation and Secure Information Flow in Multiparty Communications
Formal Aspects of Computing
Theoretical Computer Science
Software
Secure Program Execution via Dynamic Information Flow Tracking
Operating Systems Review (ACM)
Hardware
Computer Networks
Information Systems
Architecture
Communications
A New Approach to Sensitive Rule Hiding
Computer and Information Science
Secure Program Execution via Dynamic Information Flow Tracking
ACM SIGPLAN Notices
Exploring Non-Linear Associations Between Atmospheric New-Particle Formation and Ambient Variables: A Mutual Information Approach
Atmospheric Chemistry and Physics
Atmospheric Science
Lenient Array Operations for Practical Secure Information Flow
Type Inference and Informative Error Reporting for Secure Information Flow
