A Certified Lightweight Non-interference Java Bytecode Verifier
From MaRDI portal
Publication:5756494
DOI10.1007/978-3-540-71316-6_10zbMath1187.68112MaRDI QIDQ5756494
David Pichardie, Tamara Rezk, Gilles Barthe
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_10
68N15: Theory of programming languages
Related Items
Constructive Galois Connections, A certified lightweight non-interference Java bytecode verifier, Hybrid information flow control for low-level code, Information Flow Control-by-Construction for an Object-Oriented Language, Symbolic abstract heaps for polymorphic information-flow guard inference, Relational bytecode correlations, Specification and static enforcement of scheduler-independent noninterference in a middleweight Java, Verifying pointer and string analyses with region type systems
Uses Software