Wir begrüßen Aashish Prajapati in unserer Fachgruppe Secure Software Engineering! Aashish arbeitet im ERC-Forschungsprojekt SOSA (Self Optimising Static Program Analysis). Ziel des Projekts ist es, ein selbstanpassendes statisches Analyseprogramm zu entwickeln, das sich selbst optimiert. In seiner Freizeit geht er gerne wandern, insbesondere auf hohe Berge. Herzlich Willkommen!

Wir begrüßen Vaibhav Chaudhari in unserer Fachgruppe Secure Software Engineering. Sein Forschungsschwerpunkt liegt im Bereich AI Robustness. Im Rahmen seiner Forschung wird er Methoden und Werkzeuge entwerfen, entwickeln und evaluieren, um KI-Systeme sicherer zu gestalten oder auch Softwaresysteme mittels KI abzusichern. In seiner Freizeit interessiere er sich besonders für Fußball, Astronomie und Musik.  Herzlich Willkommen!

Am 6. Juli lädt das Heinz Nixdorf Institut zum großen Sommerfest des Heinz Nixdorf MuseumsForum ein - ein Tag voller Innovation, Technik und interaktiver Erlebnisse! Entlang der Rasenflächen hinter den Häusern präsentiert die Zukunftsmeile spannende Experimente, interaktive Workshops und faszinierende Einblicke in ihre Forschungsbereiche. Entdecke zusammen mit unserer Fachgruppe Secure Software Engineering spielerisch das Programmieren – steuere…

Dieses Jahr ist das 50. Jubiläum der Flagschiffkonferenz ICSE (International Conference on Software Engineering) in Ottawa, Kanada statt. Neben dem Jubiläum der Konferenz gibt es auch weitere spannende Neuigkeiten. Das Paper IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, welches bereits 2015 bei der ICSE vorgestellt wurde, erhält dieses Jahr den Preis Most Influential Paper Award. Dieser Award wird immer an dasjenige Paper…

Philipp, ehemaliges Mitglied unserer Fachgruppe "Secure Software Engineering" promovierte erfolgreich zum Thema „Scaling static whole-program analysis to modern C and C++ software development“ bei Prof. Dr. Eric Bodden.  Während seiner Promotion forschte er zum Thema statische Programmanalyse für die Programmiersprachen C und C++. Ziel solcher Programmanalysen ist die automatisierte Detektion von Schwachstellen und Sicherheitslücken in…

Frei zugängliche Computerprogramme, die Nutzer*innen herunterladen, verändern und verbreiten dürfen – das steckt hinter sogenannten „Open-Source-Softwares“. Entwickler*innen machen davon u. a. Gebrauch, um einzelne Softwaremodule für neue Anwendungen aus einer Datenbank zu beziehen, anstatt sie selbst von Grund auf zu entwickeln. Das Problem: Bei den frei zugänglichen Inhalten treten immer wieder Schwachstellen auf, womit die Gefahr für…

In der Zeit vom 6. bis 29. November werden Herr Aniruddhan Murali & Herr Noble Saji Mathews von der University of Waterloo, Kanada, uns in der Fachgruppe Secure Software Engineering besuchen. Sie sind alle herzlich eingeladen, während ihres Aufenthalts Kontakte zu knüpfen. Zur Eröffnung werden beide am 7. November zwischen 10 und 11 Uhr eine kurze Präsentationen halten, deren Zusammenfassungen Sie unten finden. Sie sind alle eingeladen, daran…

Philipp Dominik Schubert promovierte erfolgreich zum Thema "Scaling Static Whole-Program Analysis to Modern C and C++ Software Development" bei Prof. Dr. Eric Bodden. Zusammenfassung der Arbeit: Statische Analysen mit dem Ziel Bugs und Sicherheitslücken zu finden, müssen präzise und inter-prozedural, d.h. das gesamte Programm umfassend, sein, um Ergebnisse berechnen zu können, die Entwickler:innen tatsächlich helfen. Analysen, die das gesamte…

Das Paper "FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps" von Prof. Eric Bodden (Fachgruppe Secure Software Engineering) wurde auf der PLDI (Programming Language Design and Implementation) in Kopenhagen als einflussreichstes Paper mit dem Most Influential Paper Award ausgezeichnet! Co-Autoren sind Steven Arzt, Siegfried Rasthofer, Christian Fritz, Alexandre Bartel, Jacques Klein,…

Thorsten Koch promovierte erfolgreich zum Thema „Specification and Verification of Security Protocols and their Utilization in Scenario-based Requirements Engineering“ bei Prof. Dr. Eric Bodden. Dazu gratulieren wir herzlich! Zusammenfassung der Arbeit: Security Protokolle spielen eine zentrale Rolle, um die Kommunikation von software-intensiven Systemen vor Cyberangriffen zu schützen. Die korrekte Spezifikation und Anwendung dieser Protokolle…

Brettspiel und Manga Enthusiast Jonas Klauke ist seit Dezember 2021 wissenschaftlicher Mitarbeiter in der Fachgruppe Secure Software Engineering. Neben seiner Arbeit in der Fachgruppe half er 2023 bei der Organisation des ersten SootUp Hackathon. Mehr über Jonas erfahrt ihr in seinem Mitarbeiter Porträt im Jahresbericht.

Millionenförderung der EU für sichere Softwaresysteme Für seine Forschung zu sicheren Softwaresystemen erhält Prof. Dr. Eric Bodden, Informatiker an der Universität Paderborn und Direktor des Fraunhofer IEM, den „ERC Advanced Grant“ in Höhe von 2,5 Millionen Euro vom Europäischen Forschungsrat (ERC, European Research Council). Die Grants bilden die bedeutendsten Auszeichnungen der europäischen Forschungsförderung und werden in einem kompetitiven…

Wissenschaftler unserer Fachgruppe Secure Software Engineering nehmen vom 8.-10. April an der TACAS-Konferenz in Luxemburg teil. (30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems). Hier stellen Kadiray Karakaya, Stefan Schott, Jonas Klauke & Markus Schmidt an der Seite des Fachgruppenleiters Professor Eric Bodden einen Vortrag zum Thema "SootUp: A Redesign of the Soot Static Analysis Framework".…

Vom 14.- 20. April findet die International Conference on Software Engineering (ICSE) 2024 in Lissabon statt. Prof. Dr. Eric Bodden, Leiter unserer Fachgruppe "Secure Software Enginnering" und Wissenschaftler*innen der Fachgruppe besuchen die diesjährige ICSE und werden dort Vortäge halten. Ashwin Prasad Shivarpatna Venkatesh wird drei Vorträge zu den Themen "The Emergence of Large Language Models in Static Analysis: A First Look through…

Andreas Dann promovierte erfolgreich zum Thema „Secure Use of Open-Source Software – A Systematic Study and Techniques for Java“ bei Prof. Dr. Eric Bodden. Dazu gratulieren wir herzlich! Zusammenfassung der Arbeit: Der Code moderner Software besteht häufig bis zu 75% aus Open-Source Software. Während die Integration von Open-Source Software es erlaubt, schnell neue Systeme zu programmieren, birgt sie auch das Risiko, bekannte Sicherheitslücken…