1 Hit in 8.7 sec

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

Jean-Sébastien Coron
2018 Lecture Notes in Computer Science  
Using this tool, we formally verify the security of the Rivain-Prouff countermeasure for AES, and also the recent Boolean to arithmetic conversion algorithms from CHES 2017.  ...  We describe two complementary approaches: a generic approach for the formal verification of any circuit, but for small attack orders only, and a specialized approach for the verification of specific circuits  ...  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