Unsere Forschung konzentriert sich auf Programmanalysen mit einem starken Fokus auf sprachbasierter Sicherheit, insbesondere Informationsflusskontrolle, Inline Referenzmonitore, Sicherheit von Webapplikationen, Internet of Things-Geräten und nebenläufigen Systemen.
Unsere Veranstaltungen überdecken ein breites Spektrum von Themen, von Grundlagen der Informatik bis zu Software Engineering, Software Sicherheitsthemen und Programmanalysen.
