All Stories

  1. 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

  2. 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

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

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

    Eric Bodden

  4. 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

  5. Visualizing and Understanding the Internals of Fuzzing

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

    Eric Bodden

  6. Advancing Android Privacy Assessments with Automation

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

    Eric Bodden

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

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

    Eric Bodden, Ambuj Mondal

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

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

    Eric Bodden

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

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

    Eric Bodden

  10. 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

  11. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems

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

    Eric Bodden

  12. UPCY: Safely Updating Outdated Dependencies

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

    Eric Bodden, Ben Hermann

  13. Computation on Encrypted Data Using Dataflow Authentication

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

    Eric Bodden

  14. 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

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

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

    Eric Bodden

  16. IDE support for cloud-based static analyses

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

    Eric Bodden

  17. Automated cell header generator for Jupyter notebooks

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

    Eric Bodden

  18. A Systematic Hardening of Java's Information Hiding

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

    Eric Bodden

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

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

    Eric Bodden

  20. Heaps'n leaks

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

    Eric Bodden

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

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

    Eric Bodden

  22. Computation on Encrypted Data using Dataflow Authentication

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

    Eric Bodden

  23. Codebase-adaptive detection of security-relevant methods

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

    Eric Bodden

  24. ACMiner

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

    Eric Bodden

  25. 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

  26. State of the systems security

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

    Eric Bodden

  27. VISUFLOW

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

    Karim Ali, Eric Bodden

  28. 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

  29. Just-in-time static analysis

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

    Eric Bodden

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

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

    Eric Bodden

  31. StubDroid

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

    Eric Bodden

  32. Jumping through hoops

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

    Eric Bodden