Digital signature is a fundamental primitive with numerous applications. Following the
development of pairing-based cryptography, several taking advantage of this setting have …

We construct a pairing based simulation-extractable SNARK (SE-SNARK) that consists of
only 3 group elements and has highly efficient verification. By formally linking SE-SNARKs to …

Coconut is a novel selective disclosure credential scheme supporting distributed threshold
issuance, public and private attributes, re-randomization, and multiple unlinkable selective …

Abstract Direct Anonymous Attestation (DAA) is a cryptographic protocol for privacy-
protecting authentication. It is standardized in the TPM standard and implemented in millions …

Abstract Attribute-Based Signature (ABS), where messages are signed concerning a signing
strategy conveyed as predicates, provides a necessary platform for implementing fine …

Trusted Platform Modules (TPM) are multipurpose hardware chips, which provide support for
various cryptographic functions. Flexibility, scalability and high performance are critical …

Abstract The Camenisch-Lysyanskaya (CL) signature is a very popular tool in cryptography,
especially among privacy-preserving constructions. Indeed, the latter benefit from their …

Abstract Direct Anonymous Attestation (DAA) is one of the most complex cryptographic
algorithms that has been deployed in practice. In spite of this and the long body of work on …

The Trusted Platform Module (TPM) is an international standard for a security chip that can
be used for the management of cryptographic keys and for remote attestation. The …

Contents Page 1 CRITICAL PERSPECTIVES ON PROVABLE SECURITY: FIFTEEN YEARS OF
“ANOTHER LOOK” PAPERS NEAL KOBLITZ AND ALFRED MENEZES Abstract. We give an …