Hybrid information flow control for low-level code
From MaRDI portal
Publication:6041280
Recommendations
- Information Flow Tracking for Side-Effectful Libraries
- Programming Languages and Systems
- A Logical System for Modular Information Flow Verification
- Security types preserving compilation
- Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
Cites work
- A Certified Lightweight Non-interference Java Bytecode Verifier
- A fast algorithm for finding dominators in a flowgraph
- A lattice model of secure information flow
- A theory of type polymorphism in programming
- Dependent information flow types
- Information flow analysis for valued-indexed data security compartments
This page was built for publication: Hybrid information flow control for low-level code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041280)