Information flow inference for free

DOI10.1145/351240.351245MaRDI QIDQ2943356zbMATH OpenOpenAlexFDO

Authors François Pottier, Sylvain Conchon

Publication date 11 September 2015

Published in Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/351240.351245

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Dependent information flow types
• Content dependent information flow control
• Information flow inference for ML
• On flow-sensitive security types
• A type system for robust declassification

Cited in

(13)

• Noninterference for concurrent programs and thread systems
• Abstract interpretation of operational semantics for secure information flow.
• Secrecy types for asymmetric communication.
• Robust declassification by incremental typing
• Access control in a core calculus of dependency
• Tracking data-flow with open closure types
• Content dependent information flow control
• Information flow inference for ML
• The spirit of ghost code
• Towards SOS meta-theory for language-based security
• On flow-sensitive security types
• Access control in a core calculus of dependency
• Existential types for relaxed noninterference

This page was built for publication: Information flow inference for free

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2943356)