Christian Pilato, Kaijie Wu 0001, Siddharth Garg, Ramesh Karri, Francesco Regazzoni. TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking. IEEE Trans. on CAD of Integrated Circuits and Systems, 38(5):798-808, 2019. [doi]
Abstract is missing.