Checking cryptographic API usage with composable annotations

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

140 Downloads (Pure)

Original language	English
Title of host publication	ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)
Pages	53-59
Number of pages	7
DOIs	https://doi.org/10.1145/3162071
Publication status	Published - 25 Dec 2017

Access to Document

Principles of Programming Languages (POPL2018)
van Binsbergen, L. T. (Participant)
2018
Activity: Participating in or organising an event › Participation in conference

@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)",

}

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 -