{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T00:56:33Z","timestamp":1771030593149,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T00:00:00Z","timestamp":1461024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["1228765, 1228768"],"award-info":[{"award-number":["1228765, 1228768"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,4,19]]},"DOI":"10.1145\/2898375.2898393","type":"proceedings-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T21:09:21Z","timestamp":1460668161000},"page":"4-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Efficient solving of string constraints for security analysis"],"prefix":"10.1145","author":[{"given":"Clark","family":"Barrett","sequence":"first","affiliation":[{"name":"New York University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cesare","family":"Tinelli","sequence":"additional","affiliation":[{"name":"The University of Iowa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morgan","family":"Deters","sequence":"additional","affiliation":[{"name":"New York University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianyi","family":"Liang","sequence":"additional","affiliation":[{"name":"The University of Iowa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Reynolds","sequence":"additional","affiliation":[{"name":"The University of Iowa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nestan","family":"Tsiskaridze","sequence":"additional","affiliation":[{"name":"The University of Iowa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,4,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"P. A.\n       \n      Abdulla M. F.\n       \n      Atig Y.\n       \n      Chen L.\n       \n      Hol\u00edk A.\n       \n      Rezine P.\n       \n      R\u00fcmmer and \n      \n      \n      J.\n       \n      Stenman\n      \n  \n  . \n  Norn: An SMT solver for string constraints. In D. Kroening and C. S. Pasareanu editors Proceedings of the 27th International Conference on Computer Aided Verification volume \n  9206\n   of \n  Lecture Notes in Computer Science pages \n  462\n  --\n  469\n  . \n  Springer July \n  2015\n  .  P. A. Abdulla M. F. Atig Y. Chen L. Hol\u00edk A. Rezine P. R\u00fcmmer and J. Stenman. Norn: An SMT solver for string constraints. In D. Kroening and C. S. Pasareanu editors Proceedings of the 27th International Conference on Computer Aided Verification volume 9206 of Lecture Notes in Computer Science pages 462--469. Springer July 2015.","DOI":"10.1007\/978-3-319-21690-4_29"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_27"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 16th USENIX Security Symposium","author":"Brumley D.","year":"2007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2007.17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760269"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1364385.1364403"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542498"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859080"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Li\n     and \n      \n      \n      I.\n       \n      Ghosh\n      \n  \n  . \n  PASS: String solving with parameterized array and interval automaton. In V. Bertacco and A. Legay editors Hardware and Software: Verification and Testing volume \n  8244\n   of \n  Lecture Notes in Computer Science pages \n  15\n  --\n  31\n  . \n  Springer International Publishing 2013\n  .  G. Li and I. Ghosh. PASS: String solving with parameterized array and interval automaton. In V. Bertacco and A. Legay editors Hardware and Software: Verification and Testing volume 8244 of Lecture Notes in Computer Science pages 15--31. Springer International Publishing 2013.","DOI":"10.1007\/978-3-319-03077-7_2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_43"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0247-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Liang N.\n       \n      Tsiskaridze A.\n       \n      Reynolds C.\n       \n      Tinelli and \n      \n      \n      C.\n       \n      Barrett\n      \n  \n  . \n  A decision procedure for regular membership and length constraints over unbounded strings. In C. Lutz and S. Ranise editors Proceedings of the 10th International Symposium on Frontiers of Combining Systems volume \n  9322\n   of \n  Lecture Notes in Computer Science pages \n  135\n  --\n  150\n  . \n  Springer 2015\n  .  T. Liang N. Tsiskaridze A. Reynolds C. Tinelli and C. Barrett. A decision procedure for regular membership and length constraints over unbounded strings. In C. Lutz and S. Ranise editors Proceedings of the 10th International Symposium on Frontiers of Combining Systems volume 9322 of Lecture Notes in Computer Science pages 135--150. Springer 2015.","DOI":"10.1007\/978-3-319-24246-0_9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1070\/SM1977v032n02ABEH002376"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1833515.1833644"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/990308.990312"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.38"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660372"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"HotSoS '16: HotSos 2016 Science of Security","location":"Pittsburgh Pennsylvania","acronym":"HotSoS '16"},"container-title":["Proceedings of the Symposium and Bootcamp on the Science of Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2898375.2898393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2898375.2898393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:30Z","timestamp":1750222590000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2898375.2898393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,19]]},"references-count":21,"alternative-id":["10.1145\/2898375.2898393","10.1145\/2898375"],"URL":"https:\/\/doi.org\/10.1145\/2898375.2898393","relation":{},"subject":[],"published":{"date-parts":[[2016,4,19]]},"assertion":[{"value":"2016-04-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}