@inproceedings{,
    author = {Mitchell, Duncan; van Binsbergen, L. Thomas; Loring, Blake; Kinder, Johannes},
    title = {Checking Cryptographic API Usage with Composable Annotations},
    editor = {},
    booktitle = {Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18)},
    series = {},
    journal = {},
    address = {New York},
    publisher = {ACM},
    edition = {},
    year = {2018},
    isbn = {},
    volume = {},
    number =  {},
    pages = {53-59},
    url = {https://doi.org/10.1145/3162071},
    doi = {10.1145/3162071},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}