Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System

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]

Authors

Weijin Wang

This author has not been identified. Look up 'Weijin Wang' in Google

Jingbin Liu

This author has not been identified. Look up 'Jingbin Liu' in Google

Yu Qin

This author has not been identified. Look up 'Yu Qin' in Google

Dengguo Feng

This author has not been identified. Look up 'Dengguo Feng' in Google