Cryptographically sound implementations for typed information-flow security

DOI10.1145/1328438.1328478zbMath1295.94065OpenAlexW2044338429MaRDI QIDQ3189851

Tamara Rezk, Cédric Fournet

Publication date: 12 September 2014

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

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

zbMATH Keywords

cryptographycomputational modelconfidentialitycompilerstype systemsnon-interferencesecure information flowintegrityprobabilistic programs

Mathematics Subject Classification ID

Cryptography (94A60) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)

Related Items

Compiling Information-Flow Security to Minimal Trusted Computing Bases ⋮ Security Abstractions and Intruder Models (Extended Abstract) ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Dynamic management of capabilities in a network aware coordination language

This page was built for publication: Cryptographically sound implementations for typed information-flow security