C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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