FaultHunter: Automatically Detecting Vulnerabilities in C against Fault Injection Attacks. - Logan Reichling; Ikran Warsame; Shane Reilly; Austen Brownfield; Nan Niu; Boyang Wang (BDCAT, 2022)