End-to-end Multilevel Hybrid Information Flow Control
Abstract elided by the publisher.
Related papers
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- A verified information-flow architecture POPL 2014
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- SeLINQ: tracking information across application-database boundaries ICFP 2014
- JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace PLDI 2021
- From fine- to coarse-grained dynamic information flow control and back POPL 2019
- Towards secure IoT programming in Haskell Haskell 2020