Paper 2016/586

A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case

Thomas Shrimpton, Martijn Stam, and Bogdan Warinschi

Abstract

Application Programming Interfaces (APIs) to cryptographic tokens like smartcards and Hardware Security Modules (HSMs) provide users with commands to manage and use cryptographic keys stored on trusted hardware. Their design is mainly guided by industrial standards without clear security promises. In this paper we propose cryptographic models for the security of such APIs. The key feature of our approach is that it enables modular analysis. Specifically, we show that a secure cryptographic API can be obtained by combining a secure API for key-management together with secure implementations of, for instance, encryption or message authentication. Our models are the first to provide such compositional guarantees while considering realistic adversaries that can adaptively corrupt keys stored on tokens. We also provide a proof of concept instantiation (from a deterministic authenticated-encryption scheme) of the key-management portion of cryptographic API.

Note: Fixing a couple of typos.

Metadata
Available format(s)
PDF
Publication info
Published by the IACR in CRYPTO 2016
Contact author(s)
teshrim @ ufl edu
csxms @ bris ac uk
csxbw @ bris ac uk
History
2016-06-08: revised
2016-06-06: received
See all versions
Short URL
https://ia.cr/2016/586
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2016/586,
      author = {Thomas Shrimpton and Martijn Stam and Bogdan Warinschi},
      title = {A Modular Treatment of Cryptographic {APIs}: The Symmetric-Key Case},
      howpublished = {Cryptology {ePrint} Archive, Paper 2016/586},
      year = {2016},
      url = {https://eprint.iacr.org/2016/586}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.