The following publications are possibly variants of this publication:
- Formal Treatment of Privacy-Enhancing Credential SystemsJan Camenisch, Stephan Krenn, Anja Lehmann, Gert Læssøe Mikkelsen, Gregory Neven, Michael Østergaard Pedersen. sacrypt 2016: 3-24 [doi]
- Formal Treatment of Privacy-Enhancing Credential SystemsJan Camenisch, Stephan Krenn, Anja Lehmann, Gert Læssøe Mikkelsen, Gregory Neven, Michael Østergaard Pedersen. iacr, 2014:708, 2014. [doi]