@misc{cryptoeprint:2014:708,
    author = {Jan Camenisch and Stephan Krenn and Anja Lehmann and Gert Læssøe Mikkelsen and Gregory Neven and Michael Østergaard Pedersen},
    title = {Formal Treatment of Privacy-Enhancing Credential Systems},
    howpublished = {Cryptology ePrint Archive, Report 2014/708},
    year = {2014},
    url = {https://eprint.iacr.org/2014/708},
}