Follow
Mounir ASSAF
Title
Cited by
Cited by
Year
Hypercollecting semantics and its application to static analysis of information flow
M Assaf, DA Naumann, J Signoles, E Totel, F Tronel
ACM SIGPLAN Notices 52 (1), 874-887, 2017
332017
Program transformation for non-interference verification on programs with pointers
M Assaf, J Signoles, F Tronel, E Totel
Security and Privacy Protection in Information Processing Systems: 28th IFIP …, 2013
132013
Calculational design of information flow monitors
M Assaf, DA Naumann
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 210-224, 2016
112016
From qualitative to quantitative program analysis: permissive enforcement of secure information flow
M Assaf
Rennes 1, 2015
82015
The cardinal abstraction for quantitative information flow
M Assaf, J Signoles, E Totel, F Tronel
Workshop on Foundations of Computer Security 2016 (FCS 2016), 2016
22016
Calculational Design of Information Flow Monitors (extended version)
M Assaf, DA Naumann
arXiv preprint arXiv:1605.02778, 2016
12016
Moniteur hybride de flux d'information pour un langage supportant des pointeurs
M Assaf, J Signoles, F Tronel, É Totel
INRIA, 2013
12013
Utilisation de méthodes hybrides pour la détection d’intrusion paramétrée par la politique de sécurité reposant sur le suivi des flux d’information
M Assaf
Juin, 2011
12011
Research Statement: Specifications for Information Security and Systematic Program Analysis Derivations
M Assaf
2017
The system can't perform the operation now. Try again later.
Articles 1–9