Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.

Pengfei Gao Hongyi Xie Jun Zhang Fu Song Taolue Chen

Published in: TACAS (1) (2019)

Keyphrases

symbolic execution
hardware designs
smart card
qualitative and quantitative
model checking
formal verification
computer programs
social networks
quantitative and qualitative
database
floating point
asynchronous circuits
program execution
arithmetic operations
static analysis
machine learning
real world
data sets