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

Pengfei Gao Hongyi Xie Jun Zhang Fu Song Taolue Chen

Published in: CoRR (2019)

Keyphrases

symbolic execution
smart card
hardware designs
quantitative and qualitative
model checking
qualitative and quantitative
automatic programming
programming environment
databases
formal verification
formal methods
formal analysis
fixpoint
face verification
answer sets
logic programming
data sets