Testing noninterference, quickly
Cătǎlin Hriţcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming
ICFP'13
Boston, Massachusetts, USA
ACM
New York, NY, USA
Pages 455-468
2013
Topic(s): security
Note(s): information flow, non-interference
ICFP'13
Boston, Massachusetts, USA
ACM
New York, NY, USA
Pages 455-468
2013
Topic(s): security
Note(s): information flow, non-interference