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]
Abstract is missing.