Formal treatment of privacy-enhancing credential systems

DOI10.1007/978-3-319-31301-6_1MaRDI QIDQ2807189zbMATH OpenOpenAlexFDO

Authors Jan Camenisch, Stephan Krenn, Anja Lehmann, Gert Læssøe Mikkelsen, Gregory Neven, Michael Pedersen

Publication date 19 May 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-31301-6_1

zbMATH Keywords

provable securityprivacyanonymous credentials

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Towards attribute-based credentials in the cloud
• Breaking and fixing anonymous credentials for the cloud
• Issuer-hiding attribute-based credentials
• Traceable constant-size multi-authority credentials
• Improved constructions of anonymous credentials from structure-preserving signatures on equivalence classes

Cites work

• scientific article; zbMATH DE number 1722673 (Why is no real title available?)
• scientific article; zbMATH DE number 1952906 (Why is no real title available?)
• scientific article; zbMATH DE number 2081085 (Why is no real title available?)
• Advances in Cryptology – CRYPTO 2004
• Attribute-based signatures
• Composable and modular anonymous credentials: definitions and practical constructions
• Formal treatment of privacy-enhancing credential systems
• On the Security of One-Witness Blind Signature Schemes
• P-signatures and Noninteractive Anonymous Credentials
• Randomizable Proofs and Delegatable Anonymous Credentials
• Structure-Preserving Signatures on Equivalence Classes and Their Application to Anonymous Credentials
• Threshold Attribute-Based Signatures and Their Application to Anonymous Credential Systems

Cited in

(25)

• Credential transparency system
• Delegatable anonymous credentials from mercurial signatures with stronger privacy
• Improved constructions of anonymous credentials from structure-preserving signatures on equivalence classes
• Foundations of anonymous signatures: formal definitions, simplified requirements, and a construction based on general assumptions
• A method for creating private and anonymous digital territories using attribute-based credential technologies
• Recovering lost device-bound credentials
• zk-SNARKs from codes with rank metrics
• Logarithmic-size (linkable) threshold ring signatures in the plain model
• Protego: efficient, revocable and auditable anonymous credentials with applications to hyperledger fabric
• Structure-preserving signatures on equivalence classes and constant-size anonymous credentials
• Breaking and fixing anonymous credentials for the cloud
• Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions
• Issuer-hiding attribute-based credentials
• PAPR: publicly auditable privacy revocation for anonymous credentials
• Group signatures with user-controlled and sequential linkability
• Formal treatment of privacy-enhancing credential systems
• Server-aided anonymous credentials
• UC commitments for modular protocol design and applications to revocation and attribute tokens
• An information-sharing system that guarantees the authenticity and privacy of contributors
• A new approach to efficient revocable attribute-based anonymous credentials
• Towards attribute-based credentials in the cloud
• Relaxed Lattice-Based Signatures with Short Zero-Knowledge Proofs
• MoniPoly -- an expressive \(q\)-SDH-based anonymous attribute-based credential system
• Formal analysis of a TTP-free blacklistable anonymous credentials system
• Auditable attribute-based credentials scheme and its application in contact tracing

Describes a project that uses

Uses Software

• U-Prove

This page was built for publication: Formal treatment of privacy-enhancing credential systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807189)