Mounir Assaf

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Information Flow

Symbolic Execution

Static Analysis

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

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)
Mounir Assaf, David A. Naumann
Calculational Design of Information Flow Monitors. CSF (2016)
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting Semantics and its Application to Static Analysis of Information Flow. CoRR (2016)
Mounir Assaf, David A. Naumann
Calculational Design of Information Flow Monitors (extended version). CoRR (2016)
Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel
Program Transformation for Non-interference Verification on Programs with Pointers. SEC (2013)