@misc{indiciaeebb164e3ea13,
  title = {Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic},
  author = {Pablo Rauzy and Sylvain Guilley and Zakaria Najm},
  year = {2015},
  doi = {10.1007/s13389-015-0105-2},
  url = {https://arxiv.org/abs/1506.05285},
  note = {Source identifier: 1506.05285}
}