Efficient Implementation of Anonymous Credentials on Java Card Smart Cards

The Direct Anonymous Attestation scheme allows mapping procedures with an imperative requirement for anonymity, such as voting, to the electronic world while offering provable security. However, the scheme is complex and requires demanding computations to be performed on a tamper-proof device. Such devices, e.g. secure smart cards, are typically resource constrained. This paper presents the first implementation of the (Simplified) Direct Anonymous Attestation protocols suitable for contemporary Java Card smart cards.