Paper 2015/290

Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes

Joseph A. Akinyele, Christina Garman, and Susan Hohenberger

Abstract

Pairing-based cryptography has exploded over the last decade, as this algebraic setting offers good functionality and efficiency. However, there is a huge security gap between how schemes are usually analyzed in the academic literature and how they are typically implemented. The issue at play is that there exist multiple types of pairings: Type-I called “symmetric” is typically how schemes are presented and proven secure in the literature, because it is simpler and the complexity assumptions can be weaker; however, Type-III called “asymmetric” is typically the most efficient choice for an implementation in terms of bandwidth and computation time. There are two main complexities when moving from one pairing type to another. First, the change in algebraic setting invalidates the original security proof. Second, there are usually multiple (possibly thousands) of ways to translate from a Type-I to a Type-III scheme, and the “best” translation may depend on the application. Our contribution is the design, development and evaluation of a new software tool, AutoGroup+, that automatically translates from Type-I to Type-III pairings. The output of AutoGroup+ is: (1) “secure” provided the input is “secure” and (2) optimal based on the user’s efficiency constraints (excluding software and run-time errors). Prior automation work for pairings was either not guaranteed to be secure or only partially automated and impractically slow. This work addresses the pairing security gap by realizing a fast and secure translation tool.

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Published elsewhere. Major revision.ACM CCS 2015
DOI
10.1145/2810103.2813601
Keywords
pairingsautomationtransformationsecurityefficiency
Contact author(s)
cgarman @ cs jhu edu
History
2015-08-13: revised
2015-04-01: received
See all versions
Short URL
https://ia.cr/2015/290
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2015/290,
      author = {Joseph A.  Akinyele and Christina Garman and Susan Hohenberger},
      title = {Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes},
      howpublished = {Cryptology ePrint Archive, Paper 2015/290},
      year = {2015},
      doi = {10.1145/2810103.2813601},
      note = {\url{https://eprint.iacr.org/2015/290}},
      url = {https://eprint.iacr.org/2015/290}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.