Dependent Information Flow Types

  title={Dependent Information Flow Types},
  author={Lu{\'i}sa Lourenço and Lu{\'i}s Caires},
In this paper, we develop a novel notion of dependent information flow types. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 24 extracted citations

Pravah: Parameterised Information Flow Control in e-Health

Scalable Computing: Practice and Experience • 2016
View 6 Excerpts
Highly Influenced

Parametric information flow control in ehealth

2015 17th International Conference on E-health Networking, Application & Services (HealthCom) • 2015
View 4 Excerpts
Highly Influenced

A Permission-Dependent Type System for Secure Information Flow Analysis

2018 IEEE 31st Computer Security Foundations Symposium (CSF) • 2018
View 1 Excerpt

COVERN: A Logic for Compositional Verification of Information Flow Control

2018 IEEE European Symposium on Security and Privacy (EuroS&P) • 2018
View 2 Excerpts

60 Citations

Citations per Year
Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

Dependent Information Flow Types

L. Lourenço, L. Caires
Technical report, • 2014
View 5 Excerpts
Highly Influenced

Run-time Principals in Information-flow Type Systems

IEEE Symposium on Security and Privacy • 2004
View 5 Excerpts
Highly Influenced