Johannes Kinder

Registered user since Wed 5 Dec 2018

Name: Johannes Kinder

Affiliation: Royal Holloway, University of London

Contributions

PEPM 2018 Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Show activities from other conferences

POPL 2018-profile
View general profile