Mounir Assaf

Program Transformation for Non-interference Verification on Programs with Pointers

Julien Signoles, Frédéric Tronel, Eric Totel, 2013, SEC.

Hypercollecting semantics and its application to static analysis of information flow

Julien Signoles, Frédéric Tronel, Eric Totel, 2016, POPL.

The Cardinal Abstraction for Quantitative Information Flow

Julien Signoles, Frédéric Tronel, Eric Totel, 2016 .