Information flow inference for free

DOI10.1145/351240.351245zbMath1321.68158OpenAlexW2011333687MaRDI QIDQ2943356

Sylvain Conchon, François Pottier

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)

Related Items (6)

Secrecy types for asymmetric communication. ⋮ The spirit of ghost code ⋮ Abstract interpretation of operational semantics for secure information flow. ⋮ Access Control in a Core Calculus of Dependency ⋮ Towards SOS Meta-Theory for Language-Based Security ⋮ Noninterference for concurrent programs and thread systems

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