Mounir Assaf

According to our database, Mounir Assaf authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Calculational Design of Information Flow Monitors (extended version).

Mounir Assaf, David A. Naumann

CoRR, 2016

Calculational Design of Information Flow Monitors.

Mounir Assaf, David A. Naumann

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

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

PhD thesis, 2015

2013

Program Transformation for Non-interference Verification on Programs with Pointers.

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

Proceedings of the Security and Privacy Protection in Information Processing Systems, 2013