Architecture-Independent Dynamic Information Flow Tracking
Abstract elided by the publisher.
Related papers
- A verified information-flow architecture POPL 2014
- Phosphor: illuminating dynamic data flow in commodity jvms OOPSLA 2014
- Flexible dynamic information flow control in Haskell Haskell 2011
- Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures CC 2009
- From fine- to coarse-grained dynamic information flow control and back POPL 2019
- SeLINQ: tracking information across application-database boundaries ICFP 2014
- Toward efficient architecture-independent algorithms for dynamic programs: poster PPoPP 2019
- On flow-sensitive security types POPL 2006