GraMSec 2014

The First International Workshop on
Graphical Models for Security

April 12, 2014, Grenoble, France

Co-located with ETAPS 2014


The official proceedings of GraMsec 2014 have been published in Electronic Proceedings in Theoretical Computer Science. They are available on the EPTCS website.

logo UL    logo UT logo TUD logo TREsPASS