Christian W. Probst

Graphical Models for Security

2019

Semantics, Logics, and Calculi

2015

Insider threats in cyber security

2012

Proceedings of the 9th Interna

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java

2011