TY - RPRT TI - High-level Cryptographic Abstractions AU - Christopher Kane AU - Bo Lin AU - Saksham Chand AU - Scott D. Stoller AU - Yanhong A. Liu PY - 2019 DO - 10.1145/3338504.3357343 UR - https://arxiv.org/abs/1810.09065 ID - 1810.09065 ER -