Stefan Krüger

CogniCryptGEN: generating code for the secure usage of crypto APIs

Eric Bodden, Stefan Krüger, Karim Ali, 2020, CGO.

CogniCrypt - the secure integration of cryptographic software

Stefan Krüger, Stefan Krüger, 2020 .

Using Abstract Contracts for Verifying Evolving Features and Their Interactions

Sebastian Krieter, Eric Bodden, Thomas Thüm, 2020, 20 Years of KeY.

Dealing with Variability in API Misuse Specification

Mira Mezini, Eric Bodden, Rodrigo Bonifácio, 2021, ECOOP.