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
