International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Verified Proofs of Higher-Order Masking

Authors:
Gilles Barthe
Sonia Belaïd
François Dupressoir
Pierre-Alain Fouque
Benjamin Grégoire
Pierre-Yves Strub
Download:
URL: https://eprint.iacr.org/2015/060
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26099,
  title={Verified Proofs of Higher-Order Masking},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={60},
  url={https://eprint.iacr.org/2015/060},
  author={Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire and Pierre-Yves Strub},
  year=2015
}