Hypercollecting semantics and its application to static analysis of information flow.

Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frdric Tronel

Browse the full POPL paper archive.