All Stories

  1. Does Architecture Matter? Comparing Multi-agent Workflows for Filtering and Prioritizing Static Analysis Findings

    Article • October 2026, ACM (Association for Computing Machinery)

    Eric Bodden

  2. Visualization Task Taxonomy to Understand the Fuzzing Internals

    Article • ACM Transactions on Software Engineering and Methodology, February 2026, ACM (Association for Computing Machinery)

    Eric Bodden, Miao Miao

  3. Program Feature-Based Benchmarking for Fuzz Testing

    Article • Proceedings of the ACM on Software Engineering, June 2025, ACM (Association for Computing Machinery)

    Miao Miao, Eric Bodden

  4. Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses

    Article • June 2025, ACM (Association for Computing Machinery)

    Eric Bodden

  5. Software Security Analysis in 2030 and Beyond: A Research Roadmap

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Giuseppe Scanniello, Eric Bodden

  6. Visualizing and Understanding the Internals of Fuzzing

    Article • October 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  7. Advancing Android Privacy Assessments with Automation

    Article • October 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  8. Do Android App Developers Accurately Report Collection of Privacy-Related Data?

    Article • October 2024, ACM (Association for Computing Machinery)

    Eric Bodden, Ambuj Mondal

  9. Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report)

    Article • September 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  10. TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

    Article • April 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  11. The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks

    Article • April 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  12. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems

    Article • April 2024, ACM (Association for Computing Machinery)

    Eric Bodden

  13. UPCY: Safely Updating Outdated Dependencies

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Eric Bodden, Ben Hermann

  14. Computation on Encrypted Data Using Dataflow Authentication

    Article • ACM Transactions on Privacy and Security, August 2022, ACM (Association for Computing Machinery)

    Eric Bodden

  15. An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities

    Article • ACM Transactions on Software Engineering and Methodology, August 2022, ACM (Association for Computing Machinery)

    Eric Bodden

  16. A large-scale study of usability criteria addressed by static analysis tools

    Article • July 2022, ACM (Association for Computing Machinery)

    Eric Bodden

  17. IDE support for cloud-based static analyses

    Article • August 2021, ACM (Association for Computing Machinery)

    Eric Bodden

  18. Automated cell header generator for Jupyter notebooks

    Article • July 2021, ACM (Association for Computing Machinery)

    Eric Bodden

  19. A Systematic Hardening of Java's Information Hiding

    Article • May 2021, ACM (Association for Computing Machinery)

    Eric Bodden

  20. Scenario-based specification of security protocols and transformation to security model checkers

    Article • October 2020, ACM (Association for Computing Machinery)

    Eric Bodden

  21. Heaps'n leaks

    Article • June 2020, ACM (Association for Computing Machinery)

    Eric Bodden

  22. CogniCrypt GEN : generating code for the secure usage of crypto APIs

    Article • February 2020, ACM (Association for Computing Machinery)

    Eric Bodden

  23. Computation on Encrypted Data using Dataflow Authentication

    Article • Proceedings on Privacy Enhancing Technologies, January 2020, De Gruyter

    Eric Bodden

  24. Codebase-adaptive detection of security-relevant methods

    Article • July 2019, ACM (Association for Computing Machinery)

    Eric Bodden

  25. ACMiner

    Article • March 2019, ACM (Association for Computing Machinery)

    Eric Bodden

  26. Making static program analysis more efficient and precise

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Eric Bodden, Johannes Späth, Karim Ali

  27. State of the systems security

    Article • May 2018, ACM (Association for Computing Machinery)

    Eric Bodden

  28. VISUFLOW

    Article • May 2018, ACM (Association for Computing Machinery)

    Karim Ali, Eric Bodden

  29. IDE al : efficient and precise alias-aware dataflow analysis

    Article • Proceedings of the ACM on Programming Languages, October 2017, ACM (Association for Computing Machinery)

    Eric Bodden, Karim Ali

  30. Just-in-time static analysis

    Article • July 2017, ACM (Association for Computing Machinery)

    Eric Bodden

  31. An In-Depth Study of More Than Ten Years of Java Exploitation

    Article • October 2016, ACM (Association for Computing Machinery)

    Eric Bodden

  32. StubDroid

    Article • May 2016, ACM (Association for Computing Machinery)

    Eric Bodden

  33. Jumping through hoops

    Article • May 2016, ACM (Association for Computing Machinery)

    Eric Bodden