E
Eric Bodden
Researcher at University of Paderborn
Publications - 219
Citations - 8255
Eric Bodden is an academic researcher from University of Paderborn. The author has contributed to research in topics: Computer science & Android (operating system). The author has an hindex of 36, co-authored 200 publications receiving 7093 citations. Previous affiliations of Eric Bodden include Technische Universität Darmstadt & Fraunhofer Society.
Papers
More filters
Modular Reasoning with Join Point Interfaces
TL;DR: This work introduces a novel abstraction called Join Point Interfaces, which, by design, supports modular reasoning and independent evolution by providing a modular type-checking algorithm, and offers polymorphic dispatch on join points, with an advice-dispatch semantics akin to multi-methods.
Flow-sensitive static optimizations for runtime monitors
TL;DR: This paper proposes three novel intraprocedural optimizations with the goal of eliminating the overhead from runtime monitors based on flow-sensitivity and precise local may-alias and must-alias information.
Proceedings ArticleDOI
IDE support for cloud-based static analyses
TL;DR: In this article, the authors investigate the integration of cloud-based static application security testing (SAST) tools into continuous integration (CI) or continuous delivery (CD) for assuring code quality and security.
Journal ArticleDOI
Fluently specifying taint-flow queries with fluentTQL
TL;DR: Fluent TQL as discussed by the authors is a query specification language for taint-flow analysis, which can express various taint style vulnerability types, e.g. injections, cross-site scripting or path traversal.
Journal ArticleDOI
TaintBench: Automatic real-world malware benchmarking of Android taint analyses
Linghui Luo,Felix Pauck,Goran Piskachev,Manuel Benz,Ivan Pashchenko,Martin Mory,Eric Bodden,Ben Hermann,Fabio Massacci,Fabio Massacci +9 more
TL;DR: TaintBench as discussed by the authors is a real-world malware benchmark suite with documented taint flows, which can be used to compare and reproduce the results of static taint analysis of Android apps.