Program Transformation for Non-interference Verification on Programs with Pointers. - Mounir Assaf; Julien Signoles; Frédéric Tronel; Eric Totel (SEC, 2013)

From qualitative to quantitative program analysis : permissive enforcement of secure information flow. (Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d'information sécurisés). - Mounir Assaf (2015)

Calculational Design of Information Flow Monitors. - Mounir Assaf; David A. Naumann (CSF, 2016)

Calculational Design of Information Flow Monitors (extended version). - Mounir Assaf; David A. Naumann (CoRR, 2016)

Hypercollecting semantics and its application to static analysis of information flow. - Mounir Assaf; David A. Naumann; Julien Signoles; Eric Totel; Frédéric Tronel (POPL, 2017)