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) will take place in July 2018 at Oxford, UK, in co-location with CSF 2018. In 2018, CSF and GraMSec will be part of the Federated Logic Conference (FLoC 2018).