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
[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