@inproceedings{PBM+5,
title = { {Formally Verified Hardening of C Programs against Hardware Fault Injection} },
author = {Pesin, Basile and Boulm\'e, Sylvain and Monniaux, David and Potet, Marie-Laure},
month = {Jan},
year = {2025},
booktitle = {{14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'25)}},
address = {Denver (CO), United States},
team = {axe_FormalProofs, axe_Pacs, PACSS},
pdf = {https://hal.science/hal-04818801/file/hal_chamois_arsene2024.pdf},
hal_id = {hal-04818801},
hal_version = {v1},
}
