Lattice-Based Accumulator and Application to Anonymous Credential Revocation | Microsoft Research | Podwise