International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Verified Implementations for Secure and Verifiable Computation

Authors:
José Bacelar Almeida
Manuel Barbosa
Gilles Barthe
Guillaume Davy
François Dupressoir
Benjamin Grégoire
Pierre-Yves Strub
Download:
URL: https://eprint.iacr.org/2014/456
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25602,
  title={Verified Implementations for Secure and Verifiable Computation},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={456},
  url={https://eprint.iacr.org/2014/456},
  author={José Bacelar Almeida and Manuel Barbosa and Gilles Barthe and Guillaume Davy and François Dupressoir and Benjamin GrĂ©goire and Pierre-Yves Strub},
  year=2014
}