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

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

Cite this