Publications

In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17) May 22-24 San Jose CA United States IEEE 2017.

To the publication

In: Jasmin Christian Blanchette, Stephan Merz (editor). Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2016) 7th August 22-27 Nancy France Pages 87-106 LNCS 9807 Springer 8/2016.

To the publication

In: Heiko Mantel (editor). IT - information technology (IT) 6/2014 Pages 294-299 De Gruyter Berlin 12/2014.

To the publication

In: ANTONIO MUÑOZ, ERNESTO DAMIANI (editor). Third ASE International Conference on Cyber Security. International Workshop on Cloud Security (IWOCS-2014) located at Third ASE International Conference on Cyber Security May 27-31 Stanford CA United States ASE Open Scientific Digital Library 6/2014.

To the publication

In: F. Cuppens, N. Cuppens-Boulahia (editor). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014) June 2-4 Marrakech Morocco Pages 250-256 IFIP Advances in Information and Communication Technology Springer 2014.

To the publication

In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014) located at European Joint Conferences on Theory and Practice of Software April 5-13 Grenoble France EPTCS 148 Electronic Proceedings in Theoretical Computer Science 2014.

To the publication

In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013) September 9-11 Kloster Banz Germany Lecture Notes in Informatics (LNI) Springer 2013.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz