2012
Model checking probabilistic systems against pushdown specifications.
Inf. Process. Lett., 2012

2011
Privacy 3.0 : = Data Minimization + User Control + Contextual Integrity (Privatheit 3.0 : = Datenminimierung + Nutzerkontrolle + Kontextuelle Integrität).
it Inf. Technol., 2011

2010
Implementability of the Identity Management Part in Pfitzmann/Hansen's Terminology for a Complex Digital World.
Proceedings of the Privacy and Identity Management for Life, 2010