@article {18552, title = {TaintHLS: High-Level Synthesis For Dynamic Information Flow Tracking}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, year = {In Press}, doi = {10.1109/TCAD.2018.2834421}, author = {Pilato, Christian and Garg, Siddharth and Wu, Kaijie and Karri, Ramesh and Regazzoni, Francesco} }