Lattice-based dynamic k -times anonymous authentication with attribute-based credentials | Synapse