Paper 2015/1117

Efficient implementation of AND, OR and NOT operators for ABCs

Antonio de la Piedra

Abstract

In the last few years several practitioners have proposed different strategies for implementing Attribute-based credentials (ABCs) on smart cards. ABCs allow citizens to prove certain properties about themselves without necessarily revealing their full identity. The Idemix ABC is the most versatile ABC system proposed in the literature, supporting pseudonyms, equality proofs of representation, verifiable encryption of attributes and proving properties of attributes via AND, NOT and OR operators. Recently, Vullers et al. and De La Piedra et al. addressed the implementation of the selective disclosure operations, pseudonyms and multi-credential proofs such as equality proofs of representation. In this manuscript, we present implementation strategies for proving properties of user attributes via these operators and show how to combine them via external and internal commitment reordering.

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Published elsewhere. INTRUST 2015
Keywords
Attribute-based credentialsSmart Cards
Contact author(s)
A delaPiedra @ cs ru nl
History
2015-12-03: last of 3 revisions
2015-11-18: received
See all versions
Short URL
https://ia.cr/2015/1117
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2015/1117,
      author = {Antonio de la Piedra},
      title = {Efficient implementation of AND, OR and NOT operators for ABCs},
      howpublished = {Cryptology ePrint Archive, Paper 2015/1117},
      year = {2015},
      note = {\url{https://eprint.iacr.org/2015/1117}},
      url = {https://eprint.iacr.org/2015/1117}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.