Checking cryptographic API usage with composable annotations

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

126 Downloads (Pure)
Original languageEnglish
Title of host publicationACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)
Number of pages7
Publication statusPublished - 25 Dec 2017

Cite this