Christian W. Probst profile picture

Christian W. Probst

Is this your author profile? Create an account to claim and customize it!

Insider Threats in Cyber Security
Graphical Models for Security
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Insider Threats in Cyber Security
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Insider Threats in Cyber Security
Semantics, Logics, and Calculi
Proceedings of the 3rd Workshop on Programming Languages and Operating Systems Linguistic Support for Modern Operating Systems