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.
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 the participants for their contribution to GraMSec and see you in 2019!