QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog.

Lennart M. Reimann, Luca Hanel, Dominik Sisejkovic, Farhad Merchant, Rainer Leupers

Browse the full ICCD paper archive.