Home Publications

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • Almeida, José Bacelar
  • Barbosa, Manuel
  • Bangerter, Endre
  • Barthe, Gilles
  • Krenn, Stephan
  • Béguelin, Santiago Zanella
Editor: Ting Yu and George Danezis and Virgil D. Gligor
Book title: ACM Conference on Computer and Communications Security
Pages: 488-500
ISBN: 978-1-4503-1651-4
PROJECTS: This work was partially funded by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project ENI- AC/2224/2009, by ENIAC Joint Undertaking under grant agreement number 120224, European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish National project TIN2009-14599 DESAFIOS 10, and Madrid Regional project S2009TIC-1465 PROMETIDOS PARTNER: IMDEA TIER: A CITE(03/03/2014): 12