Paper 2016/615
Reusing Tamper-Proof Hardware in UC-Secure Protocols
Jeremias Mechler, Jörn Müller-Quade, and Tobias Nilges
Abstract
Universally composable protocols provide security even in highly complex environments like the Internet. Without setup assumptions, however, UC-secure realizations of cryptographic tasks are impossible. Tamper-proof hardware tokens, e.g. smart cards and USB tokens, can be used for this purpose. Apart from the fact that they are widely available, they are also cheap to manufacture and well understood. Currently considered protocols, however, suffer from two major drawbacks that impede their practical realization: - The functionality of the tokens is protocol-specific, i.e. each protocol requires a token functionality tailored to its need. - Different protocols cannot reuse the same token even if they require the same functionality from the token, because this would render the protocols insecure in current models of tamper-proof hardware. In this paper we address these problems. First and foremost, we propose formalizations of tamper-proof hardware as an untrusted and global setup assumption. Modeling the token as a global setup naturally allows to reuse the tokens for arbitrary protocols. Concerning a versatile token functionality we choose a simple signature functionality, i.e. the tokens can be instantiated with currently available signature cards. Based on this we present solutions for a large class of cryptographic tasks.
Note: Full version of the PKC 2018 publication.
Metadata
- Available format(s)
-
PDF
- Publication info
- A major revision of an IACR publication in PKC 2018
- DOI
- 10.1007/978-3-319-76578-5_16
- Keywords
- universal composabilitytamper-proof hardwareunique signaturesglobal setup
- Contact author(s)
- jeremias mechler @ kit edu
- History
- 2018-06-14: revised
- 2016-06-16: received
- See all versions
- Short URL
- https://ia.cr/2016/615
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2016/615,
author = {Jeremias Mechler and Jörn Müller-Quade and Tobias Nilges},
title = {Reusing Tamper-Proof Hardware in {UC}-Secure Protocols},
howpublished = {Cryptology {ePrint} Archive, Paper 2016/615},
year = {2016},
doi = {10.1007/978-3-319-76578-5_16},
url = {https://eprint.iacr.org/2016/615}
}
