On the Unpredictability of SPICE Simulations for Side-Channel Leakage Verification of Masked Cryptographic Circuits.
Kazuki MontaMakoto NagataJosep BalaschIngrid VerbauwhedePublished in: DAC (2023)
Keyphrases
- smart card
- asynchronous circuits
- cryptographic protocols
- model checking
- logic synthesis
- delay insensitive
- high assurance
- countermeasures
- high speed
- verification method
- formal verification
- signature verification
- high security
- face verification
- numerical simulations
- digital circuits
- case study
- logic circuits
- key management
- hash functions
- software engineering