Position Paper on Research Artifacts in Security Research Published
"What Has Artifact Evaluation Ever Done for Us?" in IEEE S&P Magazine discusses the possible benefits of artifact sharing for the security community.
Ben Hermann is now on the ACM TOSEM Board of Distinguished Reviewers
The journal Transactions on Software Engineering and Methodology is the premier journal on software engineering published by the Association for…
Anemone Kampkötter, M.Sc. joins the research group
In her master thesis, she built automated methods to detect security-critical fragments of Android applications to direct monitoring approaches.
We had the best-rated lecture of the department in summer 2021!
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
Two of our journal publications have been accepted at the ICSE Journal-First Track
Ben Hermann is organizing ECOOP 2022 in Berlin
ECOOP's 35th edition will happen in Berlin. As general chair, Ben Hermann oversees the organization of the conference.
Two Papers Accepted at IEEE SCAM Engineering Track
We share insights into our design decisions and our handling of globals in C/C++ programs while developing PhASAR.
New Benchmark for Android Taint Analysis
We provide a real-world benchmark to evaluate Android taint analysis. The paper was accepted for the Empirical Software Engineering Journal.
Paper accepted at IEEE Transactions on Software Engineering
We identified a major barrier for vulnerable dependency scanners: re-bundled or re-packaged dependencies. The paper will appear in IEEE TSE Journal.
