Eric Bodden

Registered user since Tue 24 Jun 2014

Name:Eric Bodden
Bio:

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 Software Engineering at Paderborn University and co-director of Fraunhofer IEM. Further, he is a member of the directorate of the Collaborative Research Center CROSSING at TU Darmstadt.

At Fraunhofer IEM, Bodden is heading the Attract-Group on Secure Software Engineering. In this function he is developing code analysis technology for security, in collaboration with the leading national and international software development companies. In 2014, the DFG awarded Bodden the Heinz Maier-Leibnitz-Preis. In 2013, BITKOM elected him into their mentoring program BITKOM Management Club.

Bodden is one of the chief maintainers of the Soot program analysis and optimization framework, a contributor to the AspectBench Compiler, the open research compiler for AspectJ, the inventor of the Clara and TamiFlex frameworks. Together with his research group, he has created the FlowDroid analysis framework for Android and the DroidBench benchmark suite.

Country:Germany
Affiliation:Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Personal website:http://www.bodden.de/

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
ICSE 2023 Author of Artifact: UpCy - Safely Updating Outdated Dependencies within the Artifact Evaluation-track
Author of UpCy: Safely Updating Outdated Dependencies within the Technical Track-track
Program Committee Member in Technical Track within the Technical Track-track
Author of An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities within the Journal-First Papers-track
ICST 2023 Session Chair of Session 7: Testing for Safery & Security (part of Research Papers)
Author of Model Generation For Java Frameworks within the Research Papers-track
ESEC/FSE 2022 Author of Fluently specifying taint-flow queries with fluentTQL within the Journal First-track
Committee Member in Program Committee within the Research Papers-track
ASE 2022 Author of Static Data-Flow Analysis for Software Product Lines in C within the Journal-first Papers-track
ISSTA 2022 Author of A Large-scale Study of Usability Criteria addressed by Static Analysis Tools within the Technical Papers-track
FTfJP 2022 Author of Challenges in the field-sensitive analysis of LLVM IR within the FTfJP-track
ICSE 2022 Committee Member in Mentors within the SMeW - Student Mentoring Workshop-track
Author of Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite within the Journal-First Papers-track
Committee Member in Program Committee within the Technical Track-track
MSR 2022 Author of CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite within the Registered Reports-track
ESEC/FSE 2021 Author of IDE Support for Cloud-Based Static Analyses within the Research Papers-track
ECOOP 2021 Author of Dealing with Variability in API Misuse Specification within the ECOOP Technical Papers-track
Doctoral Symposium Co-Chair in Organizing Committee
PC Member in Program Committee within the ECOOP Technical Papers-track
Author of Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021 Speaker of FanSASTic! The magic behind Static Application Security Testing within the Summer School-track
Session Chair of Student Presentations Session 1 (part of Doctoral Symposium)
Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the Doctoral Symposium-track
Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2021 Doctoral Symposium Co-Chair in Organizing Comittee
ICSE 2021 Area Chair in Program Committee within the Technical Track-track
ECOOP 2020 Sponsorship Chair in Organizing Committee
ESEC/FSE 2020 Committee Member in Steering Committee
ICST 2020 Committee Member in Program Committee within the Research Papers-track
ASE 2020 Session Chair of Mobile App (2) (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
ICSE 2020 Author of ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules within the Journal First-track
Author of Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis within the Technical Papers-track
SOAP 2020 Author of Tool Talk: Soot within the SOAP 2020-track
ASE 2019 Author of A Qualitative Analysis of Android Taint-Analysis Results within the Research Papers-track
Author of SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods within the Demonstrations-track
EXPLAIN 2019 Author of Explaining Static Analysis - A Perspective within the EXPLAIN 2019-track
ISSTA 2019 Author of Codebase-Adaptive Detection of Security-Relevant Methods within the Technical Papers-track
ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Posters-track
Author of Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs within the Posters-track
Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Research Papers-track
Panathon 2019 Committee member in Organizing Committee within the Panathon 2019-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
SOAP 2019 Committee Member in Program Committee within the SOAP-track
Author of SootDiff: Bytecode Comparison across different Java Compilers within the SOAP-track
Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track
ICSE 2019 Committee Member in Program Board within the Technical Track-track
ETAPS 2019 Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track
TACAS 2019 Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track
POPL 2019 Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track
ESEC/FSE 2018 Author of Do Android Taint Analysis Tools Keep Their Promises? within the Research Papers-track
Author of Gamifying Static Analysis within the New Ideas and Emerging Results-track
SOAP 2018 Author of The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) within the SOAP-track
BenchWork 2018 Author of Towards a Data-Curation Platform for Code-Centric Research within the BenchWork-track
ECOOP 2018 Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Secure integration of cryptographic software within the Posters-track
Mentor in Mentors within the Summer School-track
ISSTA Program Chair in Organizing Committee
ISSTA 2018 Author of Distinguished Paper Awards within the ISSTA Keynotes-track
Program Chair in Organizing Committee
Session Chair of Keynote: Ernst & ISSTA 2019 Preview (part of ISSTA Keynotes)
Presenter of Welcome within the ISSTA Keynotes-track
Program Chair in Program Committee within the ISSTA Technical Papers-track
Panathon 2018 Co-chair in Organizers within the Panathon-track
SALAD 2018 Speaker of An Opinionated Survey of the Java Static Analysis Landscape within the SALAD-track
PLDI 2018 Presenter of Static Analysis for C++ with Phasar within the PLDI Tutorials-track
* ICSE 2018 * Author of Self-adaptive static analysis within the NIER - New Ideas and Emerging Results -track
Author of VisuFlow: a Debugging Environment for Static Analyses within the DEMO - Demonstrations -track
Author of State of the Systems Security within the TB - Technical Briefings -track
NJR 2017 Author of Automated Benchmark Management within the NJR 2017-track
SPLASH 2017 Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track
Committee Member in External Program Committee within the OOPSLA-track
ISSTA 2017 Committee Member in Program Committee
Author of Just-in-Time Static Analysis within the Technical Papers-track
ECOOP 2016 Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Posters-track
Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Research Track-track
Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Artifacts-track
SOAP 2016 Author of Toward an Automated Benchmark Management System within the SOAP-track
Session Chair of Session III (part of SOAP)
Author of Towards Cross-Platform Cross-Language Analysis with Soot within the SOAP-track
Onward! 2015 Committee Member in Program Committee within the Onward! Papers-track
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
PLDI 2015 Committee Member in Program Committee within the Research Papers-track
SOAP 2015 Committee Member in Program Committee within the SOAP-track
Author of Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis within the SOAP-track
Onward! 2014 Author of Variational Data Structures: Exploring Tradeoffs in Computing with Variability within the Onward! Papers-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012 Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee