TY  - RPRT
TI  - aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
AU  - Noé Amiot
AU  - Quentin L. Meunier
AU  - Karine Heydemann
AU  - Emmanuelle Encrenaz
PY  - 2025
UR  - https://arxiv.org/abs/2512.07520
ID  - 2512.07520
ER  -