Not registered as user yet

Name:Duncan Mitchell
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