TY  - RPRT
TI  - Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
AU  - Pengfei Gao
AU  - Hongyi Xie
AU  - Jun Zhang
AU  - Fu Song
AU  - Taolue Chen
PY  - 2019
UR  - https://arxiv.org/abs/1901.09706
ID  - 1901.09706
ER  -