1 Hit in 3.7 sec

Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations [chapter]

Jean-Sébastien Coron
2018 Lecture Notes in Computer Science  
[Gou01] Santa Barbara, California, USA, August 17-21, 2003, Proceedings, pages 463-481, 2003. [RP10] Matthieu Rivain and Emmanuel Prouff. Provably secure higher-order masking of AES.  ...  In Cryptographic Hardware and Embedded Systems -CHES 2016 -18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings, pages 498-514, 2016.  ... 
doi:10.1007/978-3-319-93387-0_4 fatcat:7y44k6m6tvfondulmih7c2kvmq