Paper 2012/261

Dual Form Signatures: An Approach for Proving Security from Static Assumptions

Michael Gerbush, Allison Lewko, Adam O'Neill, and Brent Waters

Abstract

In this paper, we introduce the abstraction of Dual Form Signatures as a useful framework for proving security (existential unforgeability) from static assumptions for schemes with special structure that are used as a basis of other cryptographic protocols and applications. We demonstrate the power of this framework by proving security under static assumptions for close variants of pre-existing schemes: \begin{itemize} \item the LRSW-based Camenisch-Lysyanskaya signature scheme \item the identity-based sequential aggregate signatures of Boldyreva, Gentry, O'Neill, and Yum. \end{itemize} The Camenisch-Lysyanskaya signature scheme was previously proven only under the interactive LRSW assumption, and our result can be viewed as a static replacement for the LRSW assumption. The scheme of Boldyreva, Gentry, O'Neill, and Yum was also previously proven only under an interactive assumption that was shown to hold in the generic group model. The structure of the public key signature scheme underlying the BGOY aggregate signatures is quite distinctive, and our work presents the first security analysis of this kind of structure under static assumptions. We view our work as enhancing our understanding of the security of these signatures, and also as an important step towards obtaining proofs under the weakest possible assumptions. Finally, we believe our work also provides a new path for proving security of signatures with embedded structure. Examples of these include: attribute-based signatures, quoteable signatures, and signing group elements.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Unknown where it was published
Contact author(s)
alewko @ cs utexas edu
History
2012-05-09: received
Short URL
https://ia.cr/2012/261
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2012/261,
      author = {Michael Gerbush and Allison Lewko and Adam O'Neill and Brent Waters},
      title = {Dual Form Signatures: An Approach for Proving Security from Static Assumptions},
      howpublished = {Cryptology ePrint Archive, Paper 2012/261},
      year = {2012},
      note = {\url{https://eprint.iacr.org/2012/261}},
      url = {https://eprint.iacr.org/2012/261}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.