RETRACT: Expressive Designated Verifier Anonymous Credentials

ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security
Article No.: 26, Pages 1 - 12
https://doi.org/10.1145/3600160.3600191

ABSTRACT
Anonymous credentials (ACs) are secure digital versions of credentials that allow selective proof of possession of encoded attributes without revealing additional information. Attributes can include basic personal details (e.g., passport, medical records) and also claims about existing attributes (e.g., age > 18), which can be revealed without disclosing any concrete information. However, embedding all possible claims in a credential is impractical. To address this, we propose verifiers defining policies as high-level programs executed by holders on their credentials. We also propose making the proofs designated verifier to prevent the misuse or leakage of sensitive information by dishonest verifiers to any unwanted third party.

AUTHORS
Heini Bergsson Debes, Thanassis Giannetsos