Information flow inference for ML

@article{Pottier2003InformationFI,
  title={Information flow inference for ML},
  author={François Pottier and Vincent Simonet},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2003},
  volume={25},
  pages={117-158}
}
This paper presents a type-based information flow analysis for a call-by-value λ-calculus equipped with references, exceptions and let-polymorphism, which we refer to as ML. The type system is constraint-based and has decidable type inference. Its noninterference proof is reasonably light-weight, thanks to the use of a number of orthogonal techniques. First, a syntactic segregation between values and expressions allows a lighter formulation of the type system. Second, noninterference is reduced… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 380 CITATIONS

Harmless advice

VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Information Flow Control for Distributed Trusted Execution Environments

  • 2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
  • 2019
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Better Trust Zone : Verifying Security of Enclave-Aware Calculi

Aaron Bembenek Lily Tsai Ezra Zigmond
  • 2017
VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Type systems for information flow control: the question of granularity

VIEW 6 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

A Calculus for Flow-Limited Authorization

  • 2016 IEEE 29th Computer Security Foundations Symposium (CSF)
  • 2016
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Calculus for Flow-Limited Authorization: Technical Report

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2002
2019

CITATION STATISTICS

  • 49 Highly Influenced Citations

  • Averaged 18 Citations per year from 2017 through 2019

  • 15% Increase in citations per year in 2019 over 2018

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

The Caml Light system, release 0.74

X. LEROY, D. DOLIGEZ, M. MAUNY, P. WEIS
  • 1997
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL