Pages that link to "Item:Q5756494"
From MaRDI portal
The following pages link to A Certified Lightweight Non-interference Java Bytecode Verifier (Q5756494):
Displayed 8 items.
- Relational bytecode correlations (Q710672) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)
- Hybrid information flow control for low-level code (Q6041280) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- Symbolic abstract heaps for polymorphic information-flow guard inference (Q6132488) (← links)