@inproceedings{martin:cea-03714409, TITLE = {{Verifying redundant-check based countermeasures: a case study}}, AUTHOR = {Martin, Thibault and Kosmatov, Nikolai and Prevosto, Virgile}, URL = {https://cea.hal.science/cea-03714409}, BOOKTITLE = {{SAC' 2022 - The 37th ACM Symposium on Applied Computing}}, ADDRESS = {Brno (virtual event), Czech Republic}, PUBLISHER = {{ACM}}, SERIES = {Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing}, PAGES = {1849-1852}, YEAR = {2022}, MONTH = Apr, DOI = {10.1145/3477314.3507341}, PDF = {https://cea.hal.science/cea-03714409/file/main.pdf}, HAL_ID = {cea-03714409}, HAL_VERSION = {v1}, }