Attribute Based Signatures: The Case for Automation

Lalitha Muthu Subramanian, Roopa Vishwanathan

2018

Abstract

Attribute-based signatures (ABS) allow a signer to sign boolean predicates using certain attributes that are accepted by signing policies and are associated with signing keys. Ideally, the verifier of the signature must not obtain any other information except that a signer possessing the right attributes produced the signature. The goal of an attribute-based signature is to preserve the anonymity of the signer and the signers’ attributes, while ensuring that a signature will only pass verification if the signer possesses enough valid attributes to satisfy the given predicate. In this paper, we explore the question of what would it take to automate the construction and proofs of complex cryptographic protocols such as attribute-based signatures. We posit that, at the minimum, it would require: (1) creating new data types to support attribute-based cryptography, and more generally, pairing-based cryptography (2) creating new function templates to operate on the data types (3) creating libraries for credential bundles, which are commonly used to tie in a set of attributes to a single user (4) automating Groth-Sahai witness-indistinguishable proofs, and (5) automated functional support for constructing a general framework for attribute-based signatures.

Paper Citation

in Harvard Style

Subramanian L. and Vishwanathan R. (2018). Attribute Based Signatures: The Case for Automation.In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT, ISBN 978-989-758-319-3, pages 537-542. DOI: 10.5220/0006901405370542

in Bibtex Style

@conference{secrypt18,
author={Lalitha Muthu Subramanian and Roopa Vishwanathan},
title={Attribute Based Signatures: The Case for Automation},
booktitle={Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,},
year={2018},
pages={537-542},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006901405370542},
isbn={978-989-758-319-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
TI - Attribute Based Signatures: The Case for Automation
SN - 978-989-758-319-3
AU - Subramanian L.
AU - Vishwanathan R.
PY - 2018
SP - 537
EP - 542
DO - 10.5220/0006901405370542