Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System.

Weijin Wang, Jingbin Liu, Yu Qin, Dengguo Feng

Browse the full ICICS paper archive.