Anonymous credentials (ACs) are a powerful cryptographic tool for the secure use of digital
services, when simultaneously aiming for strong privacy guarantees of users combined with …

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

As a prominent cryptographic primitive underlying anonymous communication, privacy-
preserving cryptocurrencies, and other blockchain-based applications, ring signatures have …

Achieving adaptive (or proactive) security in cryptographic protocols is notoriously difficult
due to the adversary's power to dynamically corrupt parties as the execution progresses …

We model and analyze the Signal end-to-end messaging protocol within the UC framework.
In particular: We formulate an ideal functionality that captures end-to-end secure messaging …

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 …

Digital and paper-based authentication are the two predominant mechanisms that have
been deployed in the real world to authenticate end-users. When verification of a digital …

Direct Anonymous Attestation (Daa) is a set of cryptographic schemes used to create
anonymous digital signatures. To provide additional assurance, Daa schemes can utilise a …

Abstract Direct Anonymous Attestation (DAA) was designed for the Trusted Platform Module
(TPM) and versions using RSA and elliptic curve cryptography have been included in the …