The paper ‘Using Static Analysis for Enhancing HLS Security’, written by Prof. Christian Pilato from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, with Luca Collini, Joey Ah-kiow, Ramesh Karri, and Benjamin Tan, has received the Best Paper Award at the SeHAS (Secure Hardware, Architectures, and Software) workshop of the HiPEAC 2024 conference.
This work, done in collaboration with New York University and University of Calgary, shows how it is possible to quickly identify and also partially solve hardware vulnerabilities that can be found in the code produced by high-level synthesis tools.