QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL. - Lennart M. Reimann; Anschul Prashar; Chiara Ghinami; Rebecca Pelke; Dominik Sisejkovic; Farhad Merchant; Rainer Leupers (CoRR, 2024)