Johannes Kinder -

Registered user since Wed 5 Dec 2018

Name:Johannes Kinder

Country:Germany

Affiliation:Bundeswehr University Munich

Personal website:http://www.unibw.de/patch/kinder

Contributions

PriSC 2022	Committee Member in Program Committee within the PriSC 2022-track
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
PLDI 2019	Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track
PEPM 2018	Author of Checking Cryptographic API Usage with Composable Annotations (Short Paper) within the PEPM 2018-track