CryptoDB
System-level non-interference for constant-time cryptography
Authors: | |
---|---|
Download: |
BibTeX
@article{eprint-2014-25812, title={System-level non-interference for constant-time cryptography}, journal={IACR Cryptology ePrint Archive}, volume={2014}, pages={422}, url={https://eprint.iacr.org/2014/422}, author={Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna and David Pichardie}, year=2014 }