TY - RPRT TI - QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog AU - Lennart M. Reimann AU - Luca Hanel AU - Dominik Sisejkovic AU - Farhad Merchant AU - Rainer Leupers PY - 2021 DO - 10.1109/iccd53106.2021.00097 UR - https://arxiv.org/abs/2109.02379 ID - 2109.02379 ER -