Noninterference for free

DOI10.1145/2784731.2784733zbMath1360.68315OpenAlexW1979413599WikidataQ60142672 ScholiaQ60142672MaRDI QIDQ2981948

William J. Bowman, Amal Ahmed

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

securitypolymorphismnoninterferenceinformation flowlogical relationsparametricitydependencysecure compilationfully abstract compilation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On the Versatility of Open Logical Relations

This page was built for publication: Noninterference for free