Information flow inference for ML

DOI10.1145/503272.503302zbMath1323.68148OpenAlexW2040669676MaRDI QIDQ5178916

Vincent Simonet, François Pottier

Publication date: 17 March 2015

Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Cryptography (94A60) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Higher-Ranked Annotation Polymorphic Dependency Analysis, Self-adaptation and secure information flow in multiparty communications, Verifying constant-time implementations by abstract interpretation, Information flow control in software DB units based on formal verification, Symbolic abstract heaps for polymorphic information-flow guard inference, Flexible dynamic information flow control in the presence of exceptions, Coupled relational symbolic execution for differential privacy, Rewriting-Based Runtime Verification for Alternation-Free HyperLTL, The spirit of ghost code, Automated verification of selected equivalences for security protocols, Arrows for secure information flow, Relational bytecode correlations, On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions, Inter-program Properties, Noninterference in a predicative polymorphic calculus for access control, Type-based information flow analysis for the \(\pi\)-calculus