Paper 2017/1173

Fully Verifiable Secure Delegation of Pairing Computation: Cryptanalysis and An Efficient Construction

Osmanbey Uzunkol, Öznur Kalkar, and İsa Sertkaya

Abstract

We address the problem of secure and verifiable delegation of general pairing computation. We first analyze some recently proposed pairing delegation schemes and present several attacks on their security and/or verifiability properties. In particular, we show that none of these achieve the claimed security and verifiability properties simultaneously. We then provide a fully verifiable secure delegation scheme ${\sf VerPair}$ under one-malicious version of a two-untrusted-program model (OMTUP). ${\sf VerPair}$ not only significantly improves the efficiency of all the previous schemes, such as fully verifiable schemes of Chevallier-Mames et al. and Canard et al. by eliminating the impractical exponentiation- and scalar-multiplication-consuming steps, but also offers for the first time the desired full verifiability property unlike other practical schemes. Furthermore, we give a more efficient and less memory consuming invocation of the subroutine ${\sf Rand}$ for ${\sf VerPair}$ by eliminating the requirement of offline computations of modular exponentiations and scalar-multiplications. In particular, ${\sf Rand}$ includes a fully verifiable partial delegation under the OMTUP assumption. The partial delegation of ${\sf Rand}$ distinguishes ${\sf VerPair}$ as a useful lightweight delegation scheme when the delegator is resource-constrained (e.g. RFID tags, smart cards or sensor nodes).

Metadata
Available format(s)
PDF
Publication info
Preprint. MINOR revision.
Keywords
Verifiable and secure delegationbilinear mapscryptographic protocolscloud securitylightweight cryptography
Contact author(s)
osmanbey uzunkol @ gmail com
History
2017-12-06: revised
2017-12-06: received
See all versions
Short URL
https://ia.cr/2017/1173
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2017/1173,
      author = {Osmanbey Uzunkol and Öznur Kalkar and İsa Sertkaya},
      title = {Fully Verifiable Secure Delegation of Pairing Computation: Cryptanalysis and An Efficient Construction},
      howpublished = {Cryptology ePrint Archive, Paper 2017/1173},
      year = {2017},
      note = {\url{https://eprint.iacr.org/2017/1173}},
      url = {https://eprint.iacr.org/2017/1173}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.