Information flow inference for free
From MaRDI portal
Publication:2943356
DOI10.1145/351240.351245zbMath1321.68158MaRDI 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
68N18: Functional programming and lambda calculus
Related Items
Towards SOS Meta-Theory for Language-Based Security, The spirit of ghost code, Noninterference for concurrent programs and thread systems, Abstract interpretation of operational semantics for secure information flow., Secrecy types for asymmetric communication., Access Control in a Core Calculus of Dependency