Hybrid information flow control for low-level code

DOI10.1007/978-3-030-92124-8_9zbMath1522.68153OpenAlexW4205358529MaRDI QIDQ6041280

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

Mathematics Subject Classification ID

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
• Dependent Information Flow Types
• Information Flow Analysis for Valued-Indexed Data Security Compartments
• A fast algorithm for finding dominators in a flowgraph
• A lattice model of secure information flow
• A Certified Lightweight Non-interference Java Bytecode Verifier

This page was built for publication: Hybrid information flow control for low-level code