CryptoDB
Verified Implementations for Secure and Verifiable Computation
Authors: | |
---|---|
Download: |
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 }