Generic Fully Simulatable Adaptive Oblivious Transfer

Kaoru KUROSAWA  Ryo NOJIMA  Le Trieu PHONG  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E98-A   No.1   pp.232-245
Publication Date: 2015/01/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E98.A.232
Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Foundation
Keyword: 
adaptive OT,  fully-simulatable,  verifiable shuffles,  permutation networks,  loose homomorphism,  

Full Text: PDF(690.1KB)
>>Buy this Article


Summary: 
We aim at constructing adaptive oblivious transfer protocols, enjoying fully simulatable security, from various well-known assumptions such as DDH, d-Linear, QR, and DCR. To this end, we present two generic constructions of adaptive OT, one of which utilizes verifiable shuffles together with threshold decryption schemes, while the other uses permutation networks together with what we call loosely-homomorphic key encapsulation schemes. The constructions follow a novel designing approach called “blind permutation”, which completely differs from existing ones. We then show that specific choices of the building blocks lead to concrete adaptive OT protocols with fully simulatable security in the standard model under the targeted assumptions. Our generic methods can be extended to build universally composable (UC) secure OT protocols, with a loss in efficiency.