Verifying Anonymous Credential Systems in Applied Pi Calculus.

Xiangxi Li, Yu Zhang, Yuxin Deng

Browse the full CANS paper archive.