Paper 2016/1104

Practical Functional Encryption for Bilinear Forms

Carmen Elisabetta Zaira Baltico, Dario Catalano, and Dario Fiore


We present a practically efficient functional encryption scheme for the class of functionalities that can be expressed via bilinear forms over the integers. Bilinear forms are a general class of quadratic functions that includes, for instance, multivariate quadratic polynomials. Our realization works over asymmetric bilinear groups and is surprisingly simple, efficient and easy to implement. For instance, in our scheme the public key and each ciphertext consist of $2n+1$ and $4n+2$ group elements respectively, where $n$ is the dimension of the encrypted vectors, while secret keys are only two group elements. The scheme is proved secure under the standard (adaptive) indistinguishability based security notion of Boneh, Sahai and Waters (TCC 2011). The proof is rather convoluted and relies on the so-called generic bilinear group model. Specifically, our proof comes in two main stages. In a preliminary step, we put forward and prove a new master theorem to argue hardness in the generic bilinear group model of a broad family of interactive decisional problems, which includes the indistinguishability-based security game for our functional encryption scheme. Next, the more technically involved part of the proof consists in showing that our scheme actually fits the requirements of our master theorem.

Available format(s)
Public-key cryptography
Publication info
Preprint. MINOR revision.
Functional Encryption
Contact author(s)
catalano @ dmi unict it
2016-11-23: received
Short URL
Creative Commons Attribution


      author = {Carmen Elisabetta Zaira Baltico and Dario Catalano and Dario Fiore},
      title = {Practical Functional Encryption for Bilinear Forms},
      howpublished = {Cryptology ePrint Archive, Paper 2016/1104},
      year = {2016},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.