Enabling Symbolic Execution for Hardware TCP/IP Stack based on AMD Vitis HLS. - Nianhang Hu; Tate Koziol; Witawas Srisa-an; Lisong Xu (ICCCN, 2025)