Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations.
Jean-Sébastien CoronPublished in: ACNS (2018)
Keyphrases
- countermeasures
- formal verification
- model checking
- information security
- model checker
- power analysis
- high speed
- bounded model checking
- symbolic model checking
- automated verification
- cyber attacks
- rural areas
- program slicing
- security measures
- temporal logic
- information warfare
- java card
- network security
- e government
- case study
- decision making