Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Checking Cryptographic API Usage with Composable Annotations
Title of conference publication:
Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18)
Conference title:
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (2018, Los Angeles, CA)
Conference title:
PEPM’18, January 8–9, 2018, Los Angeles, CA, USA
Venue:
Los Angeles, CA, USA
Year of conference:
2018
Date of conference beginning:
08.01.2018
Date of conference ending:
09.01.2016
Place of publication:
New York
Publisher:
ACM
Year:
2018
Pages from - to:
53-59
Language:
Englisch
DOI:
Open Access yes or no?:
Ja / Yes
BibTeX
PDF