Dependent information flow types
From MaRDI portal
Recommendations
- Dependency types
- Content dependent information flow control
- Flavors of sequential information flow
- Information flow on directed acyclic graphs
- Theoretical Aspects of Computing – ICTAC 2005
- scientific article; zbMATH DE number 972605
- Types versus PDGs in information flow analysis
- Dependent event types
- Quantitative Information Flow, Relations and Polymorphic Types
- Information flow in interactive systems
Cited in
(22)- scientific article; zbMATH DE number 7649976 (Why is no real title available?)
- From exponential to polynomial-time security typing via principal types
- Higher-ranked annotation polymorphic dependency analysis
- On flow-sensitive security types
- Paralocks, role-based information flow control and beyond
- Graded modal dependent type theory
- Only connect, securely
- Lightweight information flow
- Hybrid information flow control for low-level code
- Information states, attitudes and dependent record types
- Secure information flow connections
- Type-based access control in data-centric systems
- Information flow analysis for valued-indexed data security compartments
- Information-flow control on ARM and POWER multicore processors
- Information flow inference for free
- Security-typed programming within dependently typed programming
- Tracking data-flow with open closure types
- A dependent dependency calculus
- Content dependent information flow control
- Abstract semantic dependency
- Value-dependent information-flow security on weak memory models
- scientific article; zbMATH DE number 2163037 (Why is no real title available?)
This page was built for publication: Dependent information flow types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819817)
