The following pages link to Dependent information flow types (Q2819817):
Displaying 11 items.
- Content dependent information flow control (Q511927) (← links)
- Secure information flow connections (Q2141283) (← links)
- Information-flow control on ARM and POWER multicore processors (Q2147697) (← links)
- Information states, attitudes and dependent record types (Q2776459) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
- (Q5875439) (← links)
- Hybrid information flow control for low-level code (Q6041280) (← links)
- A dependent dependency calculus (Q6166797) (← links)
- Value-dependent information-flow security on weak memory models (Q6535968) (← links)
- Abstract semantic dependency (Q6536297) (← links)