Towards static assumption based cryptosystem in pairing setting: Further applications of DéjàQ and dual-form signature

Chatterjee, S and Kabaleeshwaran, R (2018) Towards static assumption based cryptosystem in pairing setting: Further applications of DéjàQ and dual-form signature. In: 12th International Conference on Provable Security, ProvSec 2018, 25 - 28 October 2018, Jeju, pp. 220-238.

PDF LNCS_ProvSec 2018_11192_220-238_2018.pdf - Published Version Restricted to Registered users only Download (467kB) | Request a copy

Abstract

A large number of parameterized complexity assumptions have been introduced in the bilinear pairing setting to design novel cryptosystems and an important question is whether such “q-type” assumptions can be replaced by some static one. Recently Ghadafi and Groth captured several such parameterized assumptions in the pairing setting in a family called bilinear target assumption (BTA). We apply the DéjàQ techniques for all q-type assumptions in the BTA family. In this process, first we formalize the notion of extended adaptive parameter-hiding property and use it in the Chase-Meiklejohn’s DéjàQ framework to reduce those q-type assumptions from subgroup hiding assumption in the asymmetric composite-order pairing. In addition, we extend the BTA family further into BTA1 and BTA2 and study the relation between different BTA variants. We also discuss the inapplicability of DéjàQ techniques on the q-type assumptions that belong to BTA1 or BTA2 family. We then provide one further application of Gerbush et al.’s dual-form signature techniques to remove the dependence on a q-type assumption for which existing DéjàQ techniques are not applicable. This results in a variant of Abe et al.’s structure-preserving signature with security based on a static assumption in composite order setting.

Item Type:	Conference Paper
Publication:	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher:	Springer Verlag
Additional Information:	The copyright for this article belongs to the Springer Verlag.
Keywords:	Artificial intelligence; Computer science; Computers, Adaptive parameters; Bilinear pairing; Bilinear target assumption; DejaQ technique; Dual form; Parameterized complexity; q-type assumption; Structure-preserving, Public key cryptography
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	19 Aug 2022 05:38
Last Modified:	19 Aug 2022 05:38
URI:	https://eprints.iisc.ac.in/id/eprint/75993

Actions (login required)

View Item