CryptoDB
Verified Proofs of Higher-Order Masking
Authors: | |
---|---|
Download: |
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 }