L’articolo “Using Static Analysis for Enhancing HLS Security”, scritto dal Prof. Christian Pilato del Dipartimento di Elettronica, Informazione e Bioingegneria del Politecnico di Milano insieme a Luca Collini, Joey Ah-kiow, Ramesh Karri e Benjamin Tan, ha ricevuto il Best Paper Award al workshop SeHAS (Secure Hardware, Architectures, and Software) della conferenza HiPEAC 2024.
Il lavoro, svolto in collaborazione con la New York University e la University of Calgary, dimostra come è possibile identificare velocemente e anche parzialmente risolvere vulnerabilità all’interno del codice prodotto da strumenti di sintesi ad alto livello.