SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.

Jun Zhang Pengfei Gao Fu Song Chao Wang

Published in: CAV (2) (2018)

Keyphrases

countermeasures
java card
information security
smart card
rural areas
software development
software systems
source code
formal methods
power analysis
database
cyber attacks
lightweight
software projects
security measures
information systems
static analysis
model checking
computer systems