Model-Driven Information Flow Security for Component-Based Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FPS@ETAPS, 2014)

A Robust Framework for Securing Composed Web Services. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FACS, 2015)

A Model-Based Approach to Secure Multiparty Distributed Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (ISoLA (1), 2016)

Information Flow Security in Component-Based Models : From verification to Implementation. (Sécurité du flux d'information : de la vérification à l'implémentation). - Najah Ben Said (2016)

Detection of Mirai by Syntactic and Behavioral Analysis. - Najah Ben Said; Fabrizio Biondi; Vesselin Bontchev; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Jean Quilbeuf (ISSRE, 2018)

A Language for Analyzing Security of IOT Systems. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Régis Fleurquin; Axel Legay; Jean Quilbeuf; Salah Sadou (SoSE, 2018)

Security Analysis of IoT Systems Using Attack Trees. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Salah Sadou (GraMSec@CSF, 2019)

End-to-end information flow security for web services orchestration. - Najah Ben Said; Ioana Cristescu (Sci. Comput. Program., 2020)