International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler

Authors:
Gilles Barthe
Sonia Belaïd
François Dupressoir
Pierre-Alain Fouque
Benjamin Grégoire
Download:
URL: https://eprint.iacr.org/2015/506
Search ePrint
Search Google
BibTeX
@article{eprint-2015-27039,
  title={Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={506},
  url={https://eprint.iacr.org/2015/506},
  author={Gilles Barthe and Sonia Belaïd and François Dupressoir and Pierre-Alain Fouque and Benjamin Grégoire},
  year=2015
}