PD Dr. Karsten Sohr
Analysis of Java Applications with an Approach Based on Design by Contract, 2013 (committee member) Dr. Michaela Bunke. Security-Pattern Recognition and Validation , 2019 (committee member) Dr. Bernhard Berger [...] Audits - Sicherheitsanalyse von Java-Applikationen mit erweitertem Programm Slicin g, 2017 Jörg Wilhelms: Sicherheitstechnische Untersuchung von Debug-Schnittstellen auf Android-basierten Smart-TVs und