10.12.2022

Arbeit zur Stabilität von Softwarekomponenten-Updates wird auf der ICSE 2023 veröffentlicht

Der neuartige Ansatz macht Aktualisierungsentscheidungen stabiler und vorhersehbarer und ermöglicht eine bessere Automatisierung.

23.09.2022

Positionspapier zu Research Artifacts in der IT-Sicherheitsforschung veröffentlicht

Der Artikel "What Has Artifact Evaluation Ever Done for Us?" bespricht Vorteile die Veröffentlichung von Forschungsartefakte hat.

13.07.2022

Ben Hermann ist jetzt Mitglied des ACM TOSEM Board of Distinguished Reviewers

Das Journal Transactions on Software Engineering and Methodology ist die führende Journal für Softwaretechnik, die von der Association for Computing…

02.05.2022

Anemone Kampkötter, M.Sc. wird Mitglied der Forschungsgruppe

In ihrer Masterarbeit entwickelte sie automatisierte Methoden zur Erkennung sicherheitskritischer Fragmente von Android-Anwendungen, um…

04.03.2022

Beste Vorlesung der Fakultät im Sommersemester 2021!

Unsere Veranstaltung Typesystems for Correctness and Security wurde als beste Vorlesung der Fakultät im Sommersemester 2021 ausgezeichnet.

11.02.2022

Zwei Arbeiten für den ICSE Journal-First Track angenommen

Zwei unserer Journal-Veröffentlichungen wurden in den ICSE Journal-First Track aufgenommen

08.09.2021

Ben Hermann organisiert die ECOOP 2022 in Berlin

Die 35. Ausgabe von ECOOP wird in Berlin stattfinden. Ben Hermann ist als General Chair für die Organisation der Konferenz verantwortlich.

08.09.2021

Zwei Arbeiten akzeptiert im Engineering Track der IEEE SCAM

Wir geben Einblicke in unsere Designentscheidungen und unseren Umgang mit Globals in C/C++-Programmen in PhASAR.

02.08.2021

Neuer Benchmark für Android-Taint-Analyse

Wir stellen einen realen Benchmark zur Verfügung, um Android-Taint-Analysen zu evaluieren. Die Arbeit wurde beim EMSE Journal angenommen.