Helmholtz Center for Information Security

Recent papers from Helmholtz Center for Information Security

1. Digital Anti-Forensics Research: The Next 10 YearsDigital Threats Research and Practice · 2026
2. RippleGUItester: Change-Aware Exploratory TestingProceedings of the ACM on software engineering. · 2026
3. Names Are All You Need: Effective and Safe Regression Test Selection for PythonProceedings of the ACM on software engineering. · 2026
4. IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing PlatformsProceedings of the ACM on software engineering. · 2026
5. STARS: Static Analysis-Guided Assertion Synthesis using Large Language ModelsProceedings of the ACM on software engineering. · 2026
6. LLM-Based Repair of Static Nullability ErrorsProceedings of the ACM on software engineering. · 2026
7. Enabling Sensitive Conversations with Consent Boundaries: Moa, a Platform for Discussing PhD Advising RelationshipsProceedings of the ACM on Human-Computer Interaction · 2026
8. Operationalising Trust: From Human Participation to Living Benchmarks in Healthcare AI2026
9. What is AI ethics, and what is it good for? Clarifying debates on AI ethicsAI and Ethics · 2026
10. Neural Program Modeling Learning Program-Specific Models that Predict Execution Features from Input Features and vice versaACM Transactions on Software Engineering and Methodology · 2026
11. Approximate Monotone Local Search for Weighted ProblemsAlgorithmica · 2026
12. Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · 2026
13. Unclonable Functional EncryptionIACR Communications in Cryptology · 2026
14. Fherret: Proof of FHE Correct-and-Honest Evaluation with Circuit Privacy from MPCitHIACR Communications in Cryptology · 2026
15. Distributed Edge Coloring in Time Polylogarithmic in \({Δ }\)SIAM Journal on Computing · 2026
16. From Chinese Postman to Salesman and Beyond II: Inapproximability and Parameterized ComplexitySIAM Journal on Discrete Mathematics · 2026
17. MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)Quantum · 2026
18. Differentially private federated learning for localized control of infectious disease dynamicsScientific Reports · 2026
19. PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm PackagesProceedings of the ACM on software engineering. · 2026
20. Natural Language-Focused Software Engineering via Code-Documentation EquivalenceProceedings of the ACM on software engineering. · 2026