Johannes Späth holds a PhD in computer science from University of Paderborn. He prepares for the start-up CodeShield, a novel static security testing tool based on some of the technology of his dissertation. His research interests include static data-flow analysis, pointer analysis and automated detection of security vulnerabilities. In his PhD thesis he presented highly precise and efficient static data-flow algorithms. His PhD was advised by Eric Bodden and Karim Ali.
PhD in Computer Science, 2019
University of Paderborn, Germany
M.Sc. in Mathematics, 2013
Technical University of Darmstadt, Germany
B.Sc. in Mathematics, 2011
Johannes-Gutenberg University of Mainz, Germany
Efficient and precise data-flow analysis.
$IDE^{al}$ is an efficient and generic framework for pointer-tracking data-flow analysis.
Support for software developers to securely using cryptography
Boomerang is a demand-driven pointer analysis for Java.