{"id":"https://openalex.org/W4413822883","doi":"https://doi.org/10.1109/icccn65249.2025.11133817","title":"Enabling Symbolic Execution for Hardware TCP/IP Stack based on AMD Vitis HLS","display_name":"Enabling Symbolic Execution for Hardware TCP/IP Stack based on AMD Vitis HLS","publication_year":2025,"publication_date":"2025-08-04","ids":{"openalex":"https://openalex.org/W4413822883","doi":"https://doi.org/10.1109/icccn65249.2025.11133817"},"language":"en","primary_location":{"id":"doi:10.1109/icccn65249.2025.11133817","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccn65249.2025.11133817","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 34th International Conference on Computer Communications and Networks (ICCCN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089903714","display_name":"Nianhang Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nianhang Hu","raw_affiliation_strings":["University of Nebraska-Lincoln,School of Computing"],"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln,School of Computing","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119473920","display_name":"Tate Koziol","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tate Koziol","raw_affiliation_strings":["University of Nebraska-Lincoln,School of Computing"],"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln,School of Computing","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038574274","display_name":"Witawas Srisa\u2010an","orcid":"https://orcid.org/0000-0003-0021-5696"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Witawas Srisa-an","raw_affiliation_strings":["University of Nebraska-Lincoln,School of Computing"],"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln,School of Computing","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101518641","display_name":"Lisong Xu","orcid":"https://orcid.org/0000-0003-3465-4056"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lisong Xu","raw_affiliation_strings":["University of Nebraska-Lincoln,School of Computing"],"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln,School of Computing","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089903714"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30747992,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9660000205039978,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9595999717712402,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7238736748695374},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.6995178461074829},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.582891047000885},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4308962821960449},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3940586447715759},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.358578085899353},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3456425964832306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7238736748695374},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.6995178461074829},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.582891047000885},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4308962821960449},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3940586447715759},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.358578085899353},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3456425964832306}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icccn65249.2025.11133817","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccn65249.2025.11133817","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 34th International Conference on Computer Communications and Networks (ICCCN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/2","score":0.5600000023841858,"display_name":"Zero hunger"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2380576232","https://openalex.org/W2937054111","https://openalex.org/W2066223521","https://openalex.org/W2013178899","https://openalex.org/W373327546","https://openalex.org/W2321534397","https://openalex.org/W2058958858","https://openalex.org/W2077601556","https://openalex.org/W2148243540","https://openalex.org/W1835805572"],"abstract_inverted_index":{"Hardware":[0],"TCP/IP":[1,6,71,82,97,130],"stacks,":[2],"which":[3],"directly":[4],"implement":[5],"functionality":[7],"in":[8,69,110,114,138],"hardware,":[9],"have":[10],"gained":[11],"increasing":[12],"attention":[13],"due":[14],"to":[15,18,93,121],"their":[16,43],"ability":[17],"meet":[19],"the":[20,133],"performance":[21],"requirements":[22],"of":[23,42,135],"rapidly":[24],"growing":[25],"network":[26],"speeds":[27],"while":[28],"significantly":[29],"reducing":[30],"CPU":[31],"overhead.":[32],"However,":[33],"comprehensively":[34],"testing":[35,67],"these":[36],"hardware":[37,81,96,116,129],"implementations":[38],"remains":[39],"challenging":[40],"because":[41],"prohibitively":[44],"large":[45],"test":[46,95,141],"input":[47],"spaces":[48],"involving":[49],"diverse":[50],"packet":[51,55],"contents":[52],"and":[53,118,143],"complex":[54],"dynamics.":[56],"Symbolic":[57],"execution,":[58],"a":[59,126],"powerful":[60],"program":[61],"analysis":[62],"technique,":[63],"has":[64,74],"successfully":[65],"improved":[66],"coverage":[68,142],"software":[70],"stacks":[72,98],"but":[73],"not":[75],"yet":[76],"been":[77],"widely":[78],"adopted":[79],"for":[80],"stacks.":[83],"This":[84],"paper":[85],"addresses":[86],"this":[87,115],"gap":[88],"by":[89],"enabling":[90],"symbolic":[91,112],"execution":[92,113],"systematically":[94],"based":[99],"on":[100,125],"AMD":[101],"Vitis":[102],"High-Level":[103],"Synthesis":[104],"(HLS).":[105],"We":[106],"identify":[107],"key":[108],"challenges":[109],"applying":[111],"context":[117],"propose":[119],"methods":[120,137],"overcome":[122],"them.":[123],"Evaluations":[124],"real-world":[127],"open-source":[128],"stack":[131],"demonstrate":[132],"effectiveness":[134],"our":[136],"achieving":[139],"high":[140],"discovering":[144],"previously":[145],"undetected":[146],"bugs.":[147]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}