Checking cryptographic API usage with composable annotations (short paper).

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder

Browse the full PEPM paper archive.