Julien Lancia. Detecting fault injection vulnerabilities in binaries with symbolic execution. In 14th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2022, Ploiesti, Romania, June 30 - July 1, 2022. pages 1-8, IEEE, 2022. [doi]
Abstract is missing.