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

Standard

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

Harvard

Mitchell, D, van Binsbergen, LT, Loring, B & Kinder, J 2017, Checking cryptographic API usage with composable annotations. in ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). pp. 53-59. https://doi.org/10.1145/3162071

APA

Mitchell, D., van Binsbergen, L. T., Loring, B., & Kinder, J. (2017). Checking cryptographic API usage with composable annotations. In ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018) (pp. 53-59) https://doi.org/10.1145/3162071

Vancouver

Mitchell D, van Binsbergen LT, Loring B, Kinder J. Checking cryptographic API usage with composable annotations. In ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). 2017. p. 53-59 https://doi.org/10.1145/3162071

Author

Mitchell, Duncan ; van Binsbergen, L. Thomas ; Loring, Blake ; Kinder, Johannes. / Checking cryptographic API usage with composable annotations. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). 2017. pp. 53-59

BibTeX

@inproceedings{b58976b941f7404a8e6e2093804aa3ec,
title = "Checking cryptographic API usage with composable annotations",
author = "Duncan Mitchell and {van Binsbergen}, {L. Thomas} and Blake Loring and Johannes Kinder",
year = "2017",
month = dec,
day = "25",
doi = "10.1145/3162071",
language = "English",
isbn = "978-1-4503-5587-2",
pages = "53--59",
booktitle = "ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)",

}

RIS

TY - GEN

T1 - Checking cryptographic API usage with composable annotations

AU - Mitchell, Duncan

AU - van Binsbergen, L. Thomas

AU - Loring, Blake

AU - Kinder, Johannes

PY - 2017/12/25

Y1 - 2017/12/25

U2 - 10.1145/3162071

DO - 10.1145/3162071

M3 - Conference contribution

SN - 978-1-4503-5587-2

SP - 53

EP - 59

BT - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)

ER -