International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

System-level non-interference for constant-time cryptography

Authors:
Gilles Barthe
Gustavo Betarte
Juan Diego Campo
Carlos Luna
David Pichardie
Download:
URL: https://eprint.iacr.org/2014/422
Search ePrint
Search Google
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
}