Formal Analysis of E-Cash Protocols.

Jannik Dreier, Ali Kassem, Pascal Lafourcade

Browse the full SECRYPT paper archive.