massaf.net
Mounir Assaf | Home
http://www.massaf.net/index.html
Stevens Institute of Technology. Massaf (at) stevens (dot) edu. I am a Postdoctoral Fellow in the Department of Computer Science. At Stevens Institute of Technology, working with David Naumann. My primary research interests include quantitative and qualitative information flow, formal methods for computer security and programming languages. I defended my Phd. In May 2015, in Rennes. I was a Phd student at the Sofware Safety Lab. CEA LIST) and CIDre team. My advisors were Julien Signoles.
rennes.supelec.fr
CIDRE research group (Supélec/Inria) - Rennes, France
http://www.rennes.supelec.fr/ren/rd/ssir
Barre de Menu non affichée (Pb de sécurité Internet Explorer? Proposed trainings and PhDs. Publications of the former SSIR research group. Publications of the former ADEPT research group. CIDRE / Confidentiality, Integrity, Availability, repartition. Standing for "Confidentiality, Integrity, Availability, repartition") is a joint research group between Inria. And CentraleSupélec, focusing on the security of distributed information systems. CIDRE is a research group of the IRISA.