Barbara Kordy

I am an assistant professor (maître de conférences) at Institut National des Sciences Appliquées (INSA Rennes) and a researcher at the Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes, France. I am a member of the project-team EMbedded SEcurity and Cryptography (EMSEC) led by Gildas Avoine and Pierre-Alain Fouque.

Previously, I was a research associate at the University of Luxembourg. I was a member of the Security and Trust of Software Systems (SaToSS) research group headed by Sjouke Mauw and a member of the Interdisciplinary Centre for Security, Reliability and Trust.

I received my Ph.D. in computer science from the University of Orléans in France. My Ph.D. thesis supervisor was Siva Anantharaman.


The fifth edition of the International Workshop on Graphical Models for Security (GraMSec 2018) took place on July 8, 2018 in Oxford, UK, in co-location with CSF 2018. In 2018, CSF and GraMSec were part of the Federated Logic Conference (FLoC 2018). The GraMSec 2018 presentations are available at the workshop's website. Thanks to all participants for their contribution to GraMSec and see you in 2019!