Najah Ben Said

PhD student at Verimag laboratory in the DCS group since 2013
Advisors : Saddek Bensalem, Marius Bozga
Verimag, Centre Équation - 2, avenue de Vignate 38610 Gières France
bensaid.najah(at)imag.fr


Research interest :

Information flow security, Modeling, Analysis: Component-based Design, Code generation, Abstraction, Verification, Security, Non-Interference.

Publications DBLP:

  • Ben Said Najah, Takoua Abdellatif, Marius Bozga, and Saddek Bensalem: Model-Driven Information Flow Security for Component-Based Systems., FPS@ETAPS 2014, Grenoble.

Technical reports :

  • Najah Ben Said, Takoua Abdellatif, Marius Bozga, and Saddek Bensalem A Model-Driven Information Flow Security for Component-Based Systems., VERIMAG Technical Report, 2013. pdf

  • Najah Ben Said, Takoua Abdellatif, Marius Bozga, and Saddek Bensalem, Building secure-by-construction distributed component-based systems, VERIMAG Technical Report, 2014. pdf

Tools :

  • SecureBIP : A Practical Information Flow Synthesis Tool.

 

Last update : 25/04/2015