Hybrid information flow control for low-level code

DOI10.1007/978-3-030-92124-8_9MaRDI QIDQ6041280zbMATH OpenOpenAlexFDO

Authors Eduardo Geraldo, José Fragoso Santos, João Costa Seco

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

Cited in

(1)

• Functional pearl: two can keep a secret, if one of them uses Haskell

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)