QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog. - Lennart M. Reimann; Luca Hanel; Dominik Sisejkovic; Farhad Merchant; Rainer Leupers (ICCD, 2021)