@misc{indiciaeb1406a08f272,
  title = {A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA},
  author = {Pablo Rauzy and Sylvain Guilley},
  year = {2014},
  doi = {10.1007/s13389-013-0065-3},
  url = {https://arxiv.org/abs/1401.8170},
  note = {Source identifier: 1401.8170}
}