The following pages link to Noninterference for free (Q2981948):
Displaying 6 items.
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Noninterference with Local Policies (Q2849922) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Fully Abstract and Robust Compilation (Q6488145) (← links)
- Abstract semantic dependency (Q6536297) (← links)
- Existential types for relaxed noninterference (Q6536309) (← links)