Algebraic MACs and Keyed-Verification Anonymous Credentials
Anonymous credentials on a standard java card