A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
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