Analyzing Security Vulnerabilities Induced by High-level Synthesis. - PUNDIR, NITIN; AFTABJAHANI, SOHRAB; CAMMAROTA, ROSARIO; TEHRANIPOOR, MARK; FARAHMANDI, FARIMAH (ACM Journal on Emerging Technologies in Computing Systems, 2022)