2018/10/31 by Christopher Kane, Bo Lin, Saksham Chand +2
Computer Science · #Advanced Authentication Protocols Security #Computer science #Computer security #Cryptographic Implementations and Security #Cryptographic primitive #Cryptographic protocol #Cryptography #Programming language #Theoretical computer science #User Authentication and Security Systems #cs.CR #cs.PL
paper · pdf · doi:10.1145/3338504.3357343
published as PLAS 2019: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security. November 2019. Pages 31-43
arxiv created 2019/08/23 · openalex publication_date 2019/11/07 · arxiv updated 2020/12/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/06
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-level abstractions that require minimum knowledge and effort to use while also allowing maximum control when needed.