TY  - RPRT
TI  - Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic
AU  - Pablo Rauzy
AU  - Sylvain Guilley
AU  - Zakaria Najm
PY  - 2015
DO  - 10.1007/s13389-015-0105-2
UR  - https://arxiv.org/abs/1506.05285
ID  - 1506.05285
ER  -