Visible to the public Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks

TitleHelping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Publication TypeConference Paper
Year of Publication2016
AuthorsIndela, Soumya, Kulkarni, Mukul, Nayak, Kartik, Dumitras, Tudor
Conference NameProceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
PublisherACM
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-4076-2
KeywordsAPI, APIs, applications programming interfaces, compositionality, cryptography, Functionality Engineers, pubcrawl, Regulator Pattern, Resiliency, Security Engineers, Semantic API
Abstract

Several mature cryptographic frameworks are available, and they have been utilized for building complex applications. However, developers often use these frameworks incorrectly and introduce security vulnerabilities. This is because current cryptographic frameworks erode abstraction boundaries, as they do not encapsulate all the framework-specific knowledge and expect developers to understand security attacks and defenses. Starting from the documented misuse cases of cryptographic APIs, we infer five developer needs and we show that a good API design would address these needs only partially. Building on this observation, we propose APIs that are semantically meaningful for developers, we show how these interfaces can be implemented consistently on top of existing frameworks using novel and known design patterns, and we propose build management hooks for isolating security workarounds needed during the development and test phases. Through two case studies, we show that our APIs can be utilized to implement non-trivial client-server protocols and that they provide a better separation of concerns than existing frameworks. We also discuss the challenges and potential approaches for evaluating our solution. Our semantic interfaces represent a first step toward preventing misuses of cryptographic APIs.

URLhttp://doi.acm.org/10.1145/2986012.2986024
DOI10.1145/2986012.2986024
Citation Keyindela_helping_2016