Hybrid information flow control for low-level code
From MaRDI portal
Publication:6041280
DOI10.1007/978-3-030-92124-8_9zbMATH Open1522.68153OpenAlexW4205358529MaRDI QIDQ6041280FDOQ6041280
José Fragoso Santos, João Costa Seco, Eduardo Geraldo
Publication date: 26 May 2023
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-92124-8_9
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
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- A theory of type polymorphism in programming
- A fast algorithm for finding dominators in a flowgraph
- A lattice model of secure information flow
- A Certified Lightweight Non-interference Java Bytecode Verifier
- 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)
