@misc{indiciae3e90822d3bfe,
  title = {A tool assisted methodology to harden programs against multi-faults injections},
  author = {Etienne Boespflug and Abderrahmane Bouguern and Laurent Mounier and Marie-Laure Potet},
  year = {2023},
  url = {https://arxiv.org/abs/2303.01885},
  note = {Source identifier: 2303.01885}
}