News
Felix Stegmaier won the Hans-Uhde-Prize
·1 min
He received the prize for his Master thesis in our group on extending PhASAR for Rust
From Bachelor Thesis to Research Award
·1 min
Project SPEAR wins 2nd place at the university challenge for excellent young research!
Till Schallau receives a Software Campus grant
·1 min
In a two-year project we will explore formal specifications in scenario-based testing for autonomic driving
Two New Publications Accepted at MSR 2025
·2 mins
In collaboration with our summer interns, we wrote and published two separate tool papers at MSR 2025.
OPAL Spring Research Meeting in Essen
·1 min
Our group met with researchers involved in the OPAL project again.
SPEAR Wins the Sustainability Award of our Department
·2 mins
In its first iteration we won the Sustainability Award in the category Technical Sustainability.
We presented last year's best work on the annual conference on Software Engineering of the German Informatics Society
·2 mins
…
Our Group Presented Current Work at ASE'23
·2 mins
We had two presentations at Automated Software Engineering Conference in Luxembourg.
OPAL Research Meeting in Darmstadt
·1 min
Our research group visits the Software Technology Group at Technische Universität Darmstadt led by Prof.
SSE@TUDo visits SSE@UPB
·1 min
Our research group visits the Secure Software Engineering group at Paderborn University led by Prof.
Paper on Modular Static Analyses Published at ASE '23
·1 min
We propose a novel approach for publishing, linking, and re-using (partial) results of static program analyses and find that it improves the performance of existing analyses, while also providing benefits for other areas of application, including artifact evaluation.
OPAL Meeting in Dortmund
·1 min
Scientists from TU Darmstadt visit the Secure Software Engineering Group to discuss the future of the OPAL framework.
Paper on Software Supply Chain stability will be published at ICSE 2023
·1 min
Our novel approach makes update decisions more stable and predictable allowing for better automation.
Position Paper on Research Artifacts in Security Research Published
·1 min
“What Has Artifact Evaluation Ever Done for Us?” in IEEE S&P Magazine discusses the possible benefits of wide-spread artifact sharing for the security community.
Anemone Kampkötter, M.Sc. joins the research group
·1 min
Anemone graduated from Paderborn University.
We had the best-rated lecture of the department in summer 2021!
·1 min
Our course Typesystems for Correctness and Security received the best rating of the department in the summer term 2021.
Two Papers Accepted at the ICSE Journal-First Track
·2 mins
Two journal publications from our group were accepted at the Journal-First track at the IEEE/ACM International Conference on Software Engineering (ICSE).
Two Papers Accepted at IEEE SCAM Engineering Track
·2 mins
We share insights into our design decisions and our handling of globals in C/C++ programs.
New Benchmark for Android Taint Analysis
·1 min
We provide a real-world benchmark to evaluate Android taint analysis.
Paper accepted at IEEE Transactions on Software Engineering
·1 min
We identified a major barrier for vulnerable dependency scanners: re-bundled or re-packaged dependencies.
Ben Hermann is Open Science Chair for ICSE'22
·1 min
Research output should be publicly and freely accessible by anyone, permanently.
Paper Accepted for ACM DTRAP Journal
·1 min
Our paper “Analyzing the Direct and Transitive Impact of Vulnerabilities onto Different Artifact Repositories” will be part of ACM DTRAP’s special issue on vulnerabilities
Award for Paper on Compositional Analysis
·1 min
Our Paper “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis” receives the ECOOP'21 Distinguished Paper Award.
Paper Accepted at ECOOP'21
·1 min
Our paper “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis” will be presented at ECOOP'21.
Ben Hermann is program chair of IEEE SCAM'21
·1 min
Together with Venera Arnaoudova from Washington State University Prof.