International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

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:
DOI: 10.1007/978-3-662-46800-5_18 (login may be required)
URL: https://www.iacr.org/archive/eurocrypt2015/90560262/90560262.pdf
Search ePrint
Search Google
Conference: EUROCRYPT 2015
BibTeX
@inproceedings{eurocrypt-2015-27219,
  title={Verified Proofs of Higher-Order Masking},
  booktitle={EUROCRYPT (1)},
  publisher={Springer},
  pages={457-485},
  url={https://www.iacr.org/archive/eurocrypt2015/90560262/90560262.pdf},
  doi={10.1007/978-3-662-46800-5_18},
  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
}