SMT-Based Verification of Software Countermeasures against Side-Channel Attacks.

Hassan Eldib Chao Wang Patrick Schaumont

Published in: TACAS (2014)

Keyphrases

countermeasures
java card
information security
smart card
software development
security measures
formal methods
source code
software systems
power analysis
rural areas
computer systems
distributed systems
hardware designs
database
security issues
software architecture
databases