Johannes Kinder

Registered user since Wed 5 Dec 2018

Name: Johannes Kinder

Country: Germany

Affiliation: Bundeswehr University Munich

Personal website: http://unibw.de/systemsicherheit/kinder

Contributions

PLDI 2019 Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Show activities from other conferences

PLDI 2019-profile
View general profile