Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.

Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng

Browse the full ACNS paper archive.