Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting semantics and its application to static analysis of information flow
POPL, 2017.
@inproceedings{POPL-2017-AssafNSTT,
author = "Mounir Assaf and David A. Naumann and Julien Signoles and Eric Totel and Frédéric Tronel",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "874--887",
publisher = "{ACM}",
title = "{Hypercollecting semantics and its application to static analysis of information flow}",
year = 2017,
}