Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. - Andreas Kjeldgaard Brandhøj; Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Danny Bøgsted Poulsen (FMICS, 2025)