Weijin Wang, Jingbin Liu, Yu Qin, Dengguo Feng. Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System. In Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu, editors, Information and Communications Security - 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings. Volume 10631 of Lecture Notes in Computer Science, pages 3-16, Springer, 2017. [doi]
@inproceedings{WangLQF17, title = {Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System}, author = {Weijin Wang and Jingbin Liu and Yu Qin and Dengguo Feng}, year = {2017}, doi = {10.1007/978-3-319-89500-0_1}, url = {https://doi.org/10.1007/978-3-319-89500-0_1}, researchr = {https://researchr.org/publication/WangLQF17}, cites = {0}, citedby = {0}, pages = {3-16}, booktitle = {Information and Communications Security - 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings}, editor = {Sihan Qing and Chris Mitchell and Liqun Chen and Dongmei Liu}, volume = {10631}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-89500-0}, }