QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment | IEEE Conference Publication | IEEE Xplore