Contact and Affiliations
- E-Mail:
- eric.bodden@uni-paderborn.de
- Phone:
- +49 5251 60-6563
- ORCID:
- 0000-0003-3470-3647
-
- Office Address:
-
Fürstenallee 11
33102 Paderborn - Room:
- F1.125
- Room:
- ZM1.02-09
- E-Mail:
- eric.bodden@uni-paderborn.de
- Phone:
- +49 5251 60-6563
- ORCID:
- 0000-0003-3470-3647
-
- Office Address:
-
Fürstenallee 11
33102 Paderborn - Room:
- F1.125
How can one enable software engineers to realize software that cannot be attacked? Which tools can effectively support them? How can also AI applications be provably effectively secured? These are the primary research questions that drive me and that I also explore in collaboration with regional, national and international companies.
About Eric Bodden
Eric Bodden is one of the leading experts on secure software engineering, with a specialty in building highly precise tools for automated program analysis. He is Professor for Secure Software Engineering at Paderborn University and director for Software Engineering and IT-Security at Fraunhofer IEM, where he is collaborating with the leading national and international software development companies. Bodden is a member of Acatech, der German National Academy of Science and Engineering, as well as a member of the review board on Software Engineering and Programming Languages of the German Science Foundation (DFG).
Prof. Bodden's research was awarded numerous times. For instance, in 2024 he received an ERC Advanced Grant, and in 2019, Bodden was named ACM Distinguished Member. At the German IT-Security Price, his group scored 1st place in 2016 and 2nd place in 2014. In 2014, the DFG awarded Bodden the Heinz Maier-Leibnitz-Preis, Germany's highest honour for young scientists. Prof. Bodden's research has received six ACM Distinguished Paper Awards and two Most Influential Paper Awards in different communities. Prof. Bodden is member of the editorial boards of ACM Transactions on Software Engineering and Methodology (TOSEM) , Springer Empirical Software Engineering (EMSE) and the IEEE Security and Privacy Magazine. In 2020, Bodden was elected into the Working Group 2.4 Software Implementation Technology of the International Federation for Information Processing (IFIP), a UNESCO organization. He is further a "Scout" within the Henriette Herz Scouting Program of the Alexander von Humboldt Foundation.
Curriculum Vitae
Since 01/2016: Director for Software Engineering and IT-Security at Fraunhofer IEM
Since 01/2016: Professor for Secure Software Engineering at Paderborn University
2013 - 2015: Professor (W3, fixed-term)
Cooperative professorship for Secure Software Engineering at the Fraunhofer SIT and TU Darmstadt
2011 - 2013: Independent Research Group Leader at TU Darmstadt
At the European Center for Security and Privacy by Design (EC SPRIDE), and also with a Emmy Noether Fellowship
2009 - 2011: PostDoc at TU Darmstadt
Research Group of Prof. Mira Mezini
2006 - 2009: Ph.D. student at McGill University, Montréal, Canada
Advisor: Laurie Hendren
1999 - 2005: Student of Computer Science at RWTH Aachen
2002 - 2003: ERASMUS exchange year at University of Kent, Canterbury, UK
22.02.2025: ICSE - Most Influential Paper N-10 Award
01.06.2024: Most Influential PLDI Paper Award
2024: ERC Advanced Grant on Self-Optimizing Static Program Analysis
2024: Member of the German Academy of Science and Engineering (Acatech)
2019: ACM Distinguished Member
2016: Winner of the German IT-Sicherheitspreis
2014: Heinz Maier-Leibnitz-Preis of the German Research Foundation
2012: Emmy Noether Fellow of the German Research Foundation
2005: Winner of the worldwide ACM Student Research Competition
Research
Latest Projects
- ERC-Grant: Self-Optimizing Static Program Analysis
- CRC 901 - Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor) (Transfer project T5)
- SAIL: SustAInable Life-cycle of Intelligent Socio-Technical Systems
- CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Publications
Selected Publications
Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems
J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29.
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
Show all publications
Teaching
Current Courses
- Softwaretechnikpraktikum
- Seminar: Secure Systems Engineering (in English)
- Project Group: AI-supported Security Testing (in English)
- Designing code analyses for large-scale software systems 1 (in English)
Outreach
Our research is always scientifically anchored, yet inspired by concrete applications. In my role as Director of Software Engineering and IT Security at Fraunhofer IEM, but also within the Software Innovation Campus Paderborn (SICP), I collaborate with regional, national, and international companies on the concrete question of how to make the engineering of attack-proof software more effective.