A formal proof of countermeasures against fault injection attacks on CRT-RSA

@article{Rauzy2013AFP,
  title={A formal proof of countermeasures against fault injection attacks on CRT-RSA},
  author={Pablo Rauzy and Sylvain Guilley},
  journal={Journal of Cryptographic Engineering},
  year={2013},
  volume={4},
  pages={173-185}
}
In this article, we describe a methodology that aims at either breaking or proving the security of CRT-RSA implementations against fault injection attacks. In the specific case-study of the BellCoRe attack, our work bridges a gap between formal proofs and implementation-level attacks. We apply our results to three implementations of CRT-RSA, namely the… CONTINUE READING