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