Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu. High-Level Cryptographic Abstractions. In Piotr Mardziel, Niki Vazou, editors, Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019. pages 31-43, ACM, 2019. [doi]
@inproceedings{KaneLCSL19,
title = {High-Level Cryptographic Abstractions},
author = {Christopher Kane and Bo Lin and Saksham Chand and Scott D. Stoller and Yanhong A. Liu},
year = {2019},
doi = {10.1145/3338504.3357343},
url = {https://doi.org/10.1145/3338504.3357343},
researchr = {https://researchr.org/publication/KaneLCSL19},
cites = {0},
citedby = {0},
pages = {31-43},
booktitle = {Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019},
editor = {Piotr Mardziel and Niki Vazou},
publisher = {ACM},
isbn = {978-1-4503-6836-0},
}