@article{rauzy2013formalcountermeasures,
  title={{A Formal Proof of Countermeasures Against Fault Injection Attacks on CRT-RSA}},
  author={Rauzy, Pablo and Guilley, Sylvain},
  year={2014},
  journal={Journal of Cryptographic Engineering},
  eprint={https://eprint.iacr.org/2013/506},
  doi={10.1007/s13389-013-0065-3}
}