What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
Android, Programming language, Computer security, Java and Static analysis are his primary areas of study.
The Android study combines topics in areas such as Malware and Code generation.
In general Programming language study, his work on AspectJ and Solver often relates to the realm of Runtime verification and Range, thereby connecting several areas of interest.
His Computer security research is multidisciplinary, incorporating perspectives in Scalability, The Internet, Distributed computing and Upload.
His biological study spans a wide range of topics, including Class, Information privacy, Software engineering and World Wide Web.
His Static analysis research includes themes of Finite-state machine, Algorithm, Static program analysis and Benchmark.
His most cited work include:
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (1039 citations)
- IccTA: detecting inter-component privacy leaks in Android apps (358 citations)
- Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis (306 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Static analysis, Android, Programming language, Java and Software engineering.
His study in Static analysis is interdisciplinary in nature, drawing from both Scalability, Distributed computing, State and Static program analysis.
His Android study combines topics in areas such as Computer security, Malware, Taint checking and World Wide Web.
His work on Exploit and Access control as part of general Computer security study is frequently connected to Vulnerability, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them.
His work on AspectJ, Aspect-oriented programming, Compiler and Join point as part of general Programming language research is often related to Runtime verification, thus linking different fields of science.
Eric Bodden studied Java and Cryptography that intersect with Encryption.
He most often published in these fields:
- Static analysis (27.14%)
- Android (23.12%)
- Programming language (22.11%)
What were the highlights of his more recent work (between 2017-2021)?
- Static analysis (27.14%)
- Software engineering (19.10%)
- Java (22.11%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Static analysis, Software engineering, Java, Android and Software.
His Static analysis study also includes
- Static program analysis that connect with fields like Program analysis, Scalability and Focus,
- Code which intersects with area such as Authentication,
- Pointer that connect with fields like Dynamic data and Heap,
- State together with Computer security.
His Software engineering study integrates concerns from other disciplines, such as Cryptographic protocol, Task, The Internet, Source code and Debugging.
His Java study incorporates themes from Compiler and Cryptography.
His Android research includes themes of Taint checking, Metaprogramming and Access control.
Operating system covers Eric Bodden research in Taint checking.
Between 2017 and 2021, his most popular works were:
- Do Android taint analysis tools keep their promises (37 citations)
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (29 citations)
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (18 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
His scientific interests lie mostly in Android, Static analysis, Java, Taint checking and Software.
He has researched Android in several fields, including Computer security, Access control, Correctness and Implementation.
His Static analysis research is multidisciplinary, relying on both Data flow diagram, Context, Reachability and Static program analysis.
His work carried out in the field of Java brings together such families of science as Distributed computing, Software system, Compiler and Software engineering.
His Software engineering study combines topics from a wide range of disciplines, such as Program analysis and Cryptography.
His Software research incorporates elements of Visualization, Debugging and Task.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
