High-Level Cryptographic Abstractions

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]

Authors

Christopher Kane

This author has not been identified. Look up 'Christopher Kane' in Google

Bo Lin

This author has not been identified. Look up 'Bo Lin' in Google

Saksham Chand

This author has not been identified. Look up 'Saksham Chand' in Google

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google

Yanhong A. Liu

This author has not been identified. Look up 'Yanhong A. Liu' in Google