PD Dr. Karsten Sohr
regard to security and portability , 2016 Henning Ziegler: Analyse der Verwendung von Kryptographie-APIs in Java-basierten Anwendungen, 2016 Philipp Hirch: Automatische Inferenz von JML-Sicherheitsspezi [...] Steuerung eines Industrial Controllers , 2017 Jonas Rahlf. Prüfung des korrekten Einsatzes von Krypto-APIs mit der Java Modeling Language und eines Extended Static Checkers, 2017 Kevin Skyba. Android Smarthome