@article{rauzy2014formaldpl,
  title={{Formally Proved Security of Assembly Code Against Power Analysis}},
  author={Rauzy, Pablo and Guilley, Sylvain and Najm, Zakaria},
  year={2015},
  journal={Journal of Cryptographic Engineering},
  eprint={https://eprint.iacr.org/2013/554},
  doi={10.1007/s13389-015-0105-2}
}