@misc{indiciae5416a881a823, title = {QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog}, author = {Lennart M. Reimann and Luca Hanel and Dominik Sisejkovic and Farhad Merchant and Rainer Leupers}, year = {2021}, doi = {10.1109/iccd53106.2021.00097}, url = {https://arxiv.org/abs/2109.02379}, note = {Source identifier: 2109.02379} }