Related Projects:

LP3Verif
Model Checker for Location Privacy Properties in Location-Based Services

CAPVerDE
Computer-Aided Privacy Verification and Design Engineering Tool

IGT
Information Governance Technologies

MaLiTuP
Maschinelles Lernen in Theorie und Praxis

i3m4
Model Guided Machine Learning for Simulating Soft Tissue Materials in Medicine

Past projects:

Soft Errors
FitIn and FlipSafe