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]
Abstract is missing.