Model checking probabilistic systems against pushdown specifications.
Inf. Process. Lett., 2012
Privacy 3.0 : = Data Minimization + User Control + Contextual Integrity (Privatheit 3.0 : = Datenminimierung + Nutzerkontrolle + Kontextuelle Integrität).
it Inf. Technol., 2011
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