Najah Ben Said

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 6

Top Topics

Information Flows

Reliable Detection

Top Venues

Sci. Comput. Program.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Najah Ben Said, Ioana Cristescu
End-to-end information flow security for web services orchestration. Sci. Comput. Program. 187 (2020)
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Salah Sadou
Security Analysis of IoT Systems Using Attack Trees. GraMSec@CSF (2019)
Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE (2018)
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
A Language for Analyzing Security of IOT Systems. SoSE (2018)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) (2016)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Robust Framework for Securing Composed Web Services. FACS (2015)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS (2014)