{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T13:47:05Z","timestamp":1772113625703,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,22]],"date-time":"2016-08-22T00:00:00Z","timestamp":1471824000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["CNECT-ICT-317756"],"award-info":[{"award-number":["CNECT-ICT-317756"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["671566"],"award-info":[{"award-number":["671566"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,22]]},"DOI":"10.1145\/2934872.2934881","type":"proceedings-article","created":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T16:06:52Z","timestamp":1470067612000},"page":"314-327","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":95,"title":["SymNet"],"prefix":"10.1145","author":[{"given":"Radu","family":"Stoenescu","sequence":"first","affiliation":[{"name":"University Politehnica of Bucharest"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matei","family":"Popovici","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest, Institutul de Cercet\u0103ri al Universit\u0103\u021bii Bucure\u0219ti"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorina","family":"Negreanu","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Costin","family":"Raiciu","sequence":"additional","affiliation":[{"name":"University Politehnica of Bucharest"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,8,22]]},"reference":[{"key":"e_1_3_2_2_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"e_1_3_2_2_3_2","volume-title":"Proc. OSDI'08","author":"Cadar C."},{"key":"e_1_3_2_2_4_2","volume-title":"Proc. NSDI'12","author":"Canini M."},{"key":"e_1_3_2_2_5_2","volume-title":"Proc. TACAS'08","author":"De Moura L."},{"key":"e_1_3_2_2_6_2","volume-title":"Proc. NSDI'14","author":"Dobrescu M."},{"key":"e_1_3_2_2_7_2","volume-title":"Proc. NSDI","author":"Fayaz S. K.","year":"2016"},{"key":"e_1_3_2_2_8_2","volume-title":"NSDI","author":"Feamster N.","year":"2005"},{"key":"e_1_3_2_2_9_2","volume-title":"NSDI","author":"Fogel A.","year":"2015"},{"key":"e_1_3_2_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080094"},{"key":"e_1_3_2_2_12_2","unstructured":"P. Kazemian. Hassel tool and public datasets. https:\/\/bitbucket.org\/peymank\/hassel-public\/wiki\/Home.  P. Kazemian. Hassel tool and public datasets. https:\/\/bitbucket.org\/peymank\/hassel-public\/wiki\/Home."},{"key":"e_1_3_2_2_13_2","volume-title":"Proc. NSDI'13","author":"Kazemian P."},{"key":"e_1_3_2_2_14_2","volume-title":"Proc. NSDI'12","author":"Kazemian P."},{"key":"e_1_3_2_2_15_2","volume-title":"Proc. NSDI'13","author":"Khurshid A."},{"key":"e_1_3_2_2_16_2","volume-title":"Proc. TACAS'03","author":"Khurshid S."},{"key":"e_1_3_2_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2785989.2785991"},{"key":"e_1_3_2_2_19_2","volume-title":"Proc. NSDI'15","author":"Lopes N. P."},{"key":"e_1_3_2_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_2_22_2","volume-title":"Proc. HotOS'13","author":"Wagner J."},{"key":"e_1_3_2_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"e_1_3_2_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"}],"event":{"name":"SIGCOMM '16: ACM SIGCOMM 2016 Conference","location":"Florianopolis Brazil","acronym":"SIGCOMM '16","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2016 ACM SIGCOMM Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934872.2934881","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2934872.2934881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:48Z","timestamp":1750217988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934872.2934881"}},"subtitle":["Scalable symbolic execution for modern networks"],"short-title":[],"issued":{"date-parts":[[2016,8,22]]},"references-count":23,"alternative-id":["10.1145\/2934872.2934881","10.1145\/2934872"],"URL":"https:\/\/doi.org\/10.1145\/2934872.2934881","relation":{},"subject":[],"published":{"date-parts":[[2016,8,22]]},"assertion":[{"value":"2016-08-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}