@inproceedings{c0c4e349bd91434baf07a656a5729a27,
title = "Formal Treatment of Privacy-Enhancing Credential Systems",
author = "Jan Camenisch and Stephan Krenn and Anja Lehmann and Mikkelsen, \{Gert Laessoe\} and Gregory Neven and Pedersen, \{Michael Ostergaard\}",
year = "2015",
language = "English",
isbn = "978-3-319-31300-9",
pages = "3--24",
booktitle = "SAC 2015",
publisher = "Springer",
address = "Germany",
note = "Selected Areas in Cryptography - SAC 2015 ; Conference date: 12-08-2015 Through 14-08-2015",
}