Johannes Späth holds a PhD in computer science from University of Paderborn. He co-founded the start-up CodeShield, a novel cloud security testing tool based on newest research technologies. Prior to that, his research interests included 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.