Stefan Krüger

Stefan was a PhD Student at Paderborn University under Karim (co-supervised with Eric Bodden), and a member of the collaborative research center CROSSING. In 2014, Stefan received a Master’s Degree in Computer Science at Otto-von-Guericke University in Magdeburg. CROSSING aims at devising future-proof cryptography that is sound and easy to use even for non-experts. In that vein, Stefan’s main research interests are API usability, DSLs for the specification of security properties of programs, and automated detection of crypto API misuses.