@InProceedings{Almeida:2012:CCS,
  author    = "Jos{\'e} Bacelar Almeida and
               M. Barbosa and
               E. Bangerter and
               Gilles Barthe and
               Stephen Krenn and
               Santiago Zanella-B{\'e}guelin",
  title     = "Full Proof Cryptography: Verifiable Compilation of Efficient
               Zero-Knowledge Protocols",
  booktitle = "19th ACM Conference on Computer and Communications Security",
  publisher = "ACM",
  year      = "2012",
  pages     = "488-500",
  url       = "http://dx.doi.org/10.1145/2382196.2382249"
}