@inproceedings{rauzy2014formalvigilant,
  title={{Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack}},
  author={Rauzy, Pablo and Guilley, Sylvain},
  year={2014},
  booktitle={ACM SIGPLAN Program Protection and Reverse Engineering Workshop},
  eprint={https://eprint.iacr.org/2013/810},
  doi={10.1145/2556464.2556466}
}