Luca Collini, Joey Ah-kiow, Christian Pilato, Ramesh Karri, Benjamin Tan: Using Static Analysis for Enhancing HLS Security. IEEE Embed. Syst. Lett. 16(2): 166-169 (2024)