Flavors of Sequential Information Flow
Abstract elided by the publisher.
Related papers
- A Per Model of Secure Information Flow in Sequential Programs ESOP 1999
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025
- P/Taint: unified points-to and taint analysis OOPSLA 2017
- FlowProf: Profiling Multi-threaded Programs using Information-Flow CC 2024
- An Axiomatic Approach to Information Flow in Programs TOPLAS 1980
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998
- Addressing covert termination and timing channels in concurrent information flow systems ICFP 2012
- Data Flow Equations for Explicitly Parallel Programs PPoPP 1993