Checking Cryptographic API Usage with Composable Annotations. / Mitchell, Duncan; van Binsbergen, L. Thomas; Loring, Blake; Kinder, Johannes.

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). 2017. p. 53-59.

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

Published

Documents

Original languageEnglish
Title of host publicationACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)
Pages53-59
DOIs
StatePublished - 2017

Activities

This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 28975668