Login / Signup
Formal Verification of Side-channel Countermeasures via Elementary Circuit Transformations.
Jean-Sébastien Coron
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
countermeasures
formal verification
model checking
information security
power analysis
bounded model checking
symbolic model checking
model checker
rural areas
program slicing
automated verification
high speed
temporal logic
security measures
information systems
formal specification
object oriented