2 papers
cs.AR2025
aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
Noé Amiot, Quentin L. Meunier, Karine Heydemann +1
Verifying the security of masked hardware and software implementations, under advanced leakage models, remains a significant challenge, especially then accounting for glitches, tra…
cs.LO2018
Modeling a Cache Coherence Protocol with the Guarded Action Language
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
We present a formal model built for verification of the hardware Tera-Scale ARchitecture (TSAR), focusing on its Distributed Hybrid Cache Coherence Protocol (DHCCP). This protocol…