High-Level Programming for E-Cash (joint work with Cédric Fournet, Nataliya Guts, and Francesco Zappa Nardelli)
Extended Abstract presented at the 4th Workshop on Formal and Computational Cryptography (FCC). Affiliated Workshop of CSF/LICS'08, Pittsburgh, PA, USA, June 26 2008.

Publication Info. Extended Abstract.

Date: 14 May 2008.

Get a preprint: PDF | PS | BibTeX Citation.