CryptoDB
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler
Authors: | |
---|---|
Download: |
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 }