| 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 | 44 | 2017 |
| Program transformation for non-interference verification on programs with pointers M Assaf, J Signoles, F Tronel, É Totel Security and Privacy Protection in Information Processing Systems: 28th IFIP …, 2013 | 13 | 2013 |
| Calculational design of information flow monitors M Assaf, DA Naumann 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 210-224, 2016 | 11 | 2016 |
| From qualitative to quantitative program analysis: permissive enforcement of secure information flow M Assaf Université de Rennes, 2015 | 10 | 2015 |
| 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 | 2 | 2016 |
| Calculational Design of Information Flow Monitors (extended version) M Assaf, DA Naumann arXiv preprint arXiv:1605.02778, 2016 | 1 | 2016 |
| Moniteur hybride de flux d'information pour un langage supportant des pointeurs M Assaf, J Signoles, F Tronel, É Totel INRIA, 2013 | 1 | 2013 |
| 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 | 1 | 2011 |
| Research Statement: Specifications for Information Security and Systematic Program Analysis Derivations M Assaf | | 2017 |
| From qualitative to quantitative program analysis: permissive enforcement of secure information flow| Theses. fr M Assaf Rennes 1, 2015 | | 2015 |
