{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:32:31Z","timestamp":1763458351201,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T00:00:00Z","timestamp":1506384000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-14-1-0030"],"award-info":[{"award-number":["N00014-14-1-0030"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["#1054629, #1513704, I\/CURC Raytheon"],"award-info":[{"award-number":["#1054629, #1513704, I\/CURC Raytheon"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,26]]},"DOI":"10.1145\/3011883.3011891","type":"proceedings-article","created":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T13:03:54Z","timestamp":1481807034000},"page":"80-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Searching for software diversity"],"prefix":"10.1145","author":[{"given":"Gilmore R.","family":"Lundquist","sequence":"first","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vishwath","family":"Mohan","sequence":"additional","affiliation":[{"name":"Google"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin W.","family":"Hamlen","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","volume-title":"Proc. 8th IEEE Int. Fault Tolerant Computing Sym. (FTCS)","author":"Avizienis A.","year":"1978","unstructured":"A. Avizienis and L. Chen. On the implementation of N-version programming for software fault tolerance during execution. In Proc. 8th IEEE Int. Fault Tolerant Computing Sym. (FTCS), pages 3--9, 1978."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737952"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807593"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224180"},{"key":"e_1_3_2_1_5_1","unstructured":"D. Bodeau and R. Graubart. Cyber resiliency engineering framework. Technical Report MTR110237 MITRE Corporation 2011."},{"key":"e_1_3_2_1_6_1","unstructured":"D. Bodeau and R. Graubart. Cyber resiliency assessment: Enabling architectural improvement. Technical Report MTR120407 MITRE Corporation 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426901"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1894403.1894408"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988630.1988639"},{"key":"e_1_3_2_1_11_1","unstructured":"A. Coglio M. Becker S. Fitzpatrick L. Gilham C. Green E. McCarthy H. Sipma M. Barry A. Browne E. Bush D. Smith A. Venet M. Rinard J. Perkins J. Eikenberry D. Kramm P. Piselli D. Willenson S. Misailovic F. Long M. Carbin R. Laddaga P. Robertson and P. Manghwani. Vulnerabilities in bytecode removed by analysis nuanced confinement and diversification (VIBRANCE). Technical Report AFRL-RY-WP-TR-2015-0019 Defense Technical Information Center (DTIC) 2015."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"F. Cohen. Computer Viruses. PhD thesis University of Southern California 1986.","DOI":"10.5555\/913006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(93)90054-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268962"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267336.1267344"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/168080"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484313.2484351"},{"key":"e_1_3_2_1_18_1","unstructured":"M. Flatt and PLT. Reference: Racket. Technical Report PLT-TR-2010-1 PLT Design Inc. 2010. https:\/\/racket-lang.org\/tr1."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/822075.822408"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900546.1900550"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526785"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_23_1","unstructured":"S. Gulwani S. Jha A. Tiwari and R. Venkatesan. Component based synthesis applied to bitvector circuits. Technical Report MSR-TR-2010-12 Microsoft Research 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2612177"},{"key":"e_1_3_2_1_25_1","first-page":"109","volume-title":"Proc. 11th IEEE Intelligence and Security Informatics Conf. (ISI)","author":"Hamlen K. W.","year":"2013","unstructured":"K. W. Hamlen. Stealthy software: Next-generation cyber-attacks and defenses, invited paper. In Proc. 11th IEEE Intelligence and Security Informatics Conf. (ISI), pages 109--112, 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.39"},{"key":"e_1_3_2_1_27_1","volume-title":"Type assisted synthesis of recursive transformers on algebraic data types. CoRR, abs\/1507.05527","author":"Inala J. P.","year":"2015","unstructured":"J. P. Inala, X. Qiu, B. Lerner, and A. Solar-Lezama. Type assisted synthesis of recursive transformers on algebraic data types. CoRR, abs\/1507.05527, 2015."},{"key":"e_1_3_2_1_28_1","volume-title":"Securely taking on new executable software of uncertain provenance (STONESOUP). https:\/\/www.iarpa.gov\/index.php\/research-programs\/stonesoup. Accessed","author":"Research Projects Intelligence Advanced","year":"2016","unstructured":"Intelligence Advanced Research Projects Activity (IARPA). Securely taking on new executable software of uncertain provenance (STONESOUP). https:\/\/www.iarpa.gov\/index.php\/research-programs\/stonesoup. Accessed: Oct. 2016."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869463"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1133258"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803189"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_22"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_34_1","first-page":"111","volume-title":"Trends in Functional Programming","author":"Katayama S.","year":"2005","unstructured":"S. Katayama. Systematic search for lambda expressions. In M. van Eekelen, editor, Trends in Functional Programming, volume 6, pages 111--126. Intellect Books, University of Chicago Press, 2005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysSec.2011.33"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251375.1251394"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/972374.972384"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.25"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/945645.945654"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464443"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.18"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948149"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.48"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.2307\/1929601"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/362566.362568"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_50_1","volume-title":"Stability and Complexity in Model Ecosystems","author":"May R. M.","year":"1973","unstructured":"R. M. May. Stability and Complexity in Model Ecosystems, volume 6. Princeton University Press, 1973."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924931.1924937"},{"key":"e_1_3_2_1_52_1","first-page":"187","volume-title":"Proc. 30th Int. Conf. Machine Learning (ICML)","author":"Menon A.","year":"2013","unstructured":"A. Menon, O. Tamuz, S. Gulwani, B. Lampson, and A. Kalai. A machine learning framework for programming by example. In Proc. 30th Int. Conf. Machine Learning (ICML), pages 187--195, 2013."},{"key":"e_1_3_2_1_53_1","unstructured":"S. Misailovic and M. Rinard. Synthesis of randomized accuracy-aware map-fold programs. Technical Report MIT-CSAIL-TR-2013-031 MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) 2013."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/2372399.2372410"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.15"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486890"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.98"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-5416-8_9"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413296.2413299"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623761"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808467"},{"key":"e_1_3_2_1_63_1","volume-title":"Schneier on Security","author":"Schneier B.","year":"2014","unstructured":"B. Schneier. Is antivirus dead? Schneier on Security, May 2014."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768427"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028067.2028092"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420950.2420996"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251254.1251258"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/1714168"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1600176.1600185"},{"key":"e_1_3_2_1_71_1","unstructured":"S. Srivastava S. Gulwani S. Chaudhuri and J. Foster. Program inversion revisited. Technical Report MSR-TR-2010-34 Microsoft Research 2010."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146269.1146273"},{"key":"e_1_3_2_1_74_1","volume-title":"https:\/\/emina.github.io\/rosette. Accessed","author":"Torlak E.","year":"2016","unstructured":"E. Torlak. The Rosette language. https:\/\/emina.github.io\/rosette. Accessed: Apr. 2016."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/11856214_12"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30143-1_11"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382216"},{"key":"e_1_3_2_1_80_1","article-title":"Symantec develops new attack on cyberhacking: Declaring antivirus software dead, firm turns to minimizing damage from breaches","author":"Yadron D.","year":"2014","unstructured":"D. Yadron. Symantec develops new attack on cyberhacking: Declaring antivirus software dead, firm turns to minimizing damage from breaches. The Wall Street Journal, May 2014.","journal-title":"The Wall Street Journal"}],"event":{"name":"NSPW '16: New Security Paradigms Workshop 2016","sponsor":["ACSA Applied Computing Security Assoc","The National Science Foundation","DELL","CISCO"],"location":"Granby Colorado USA","acronym":"NSPW '16"},"container-title":["Proceedings of the 2016 New Security Paradigms Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011883.3011891","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3011883.3011891","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3011883.3011891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:19:45Z","timestamp":1763457585000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011883.3011891"}},"subtitle":["attaining artificial diversity through program synthesis"],"short-title":[],"issued":{"date-parts":[[2016,9,26]]},"references-count":80,"alternative-id":["10.1145\/3011883.3011891","10.1145\/3011883"],"URL":"https:\/\/doi.org\/10.1145\/3011883.3011891","relation":{},"subject":[],"published":{"date-parts":[[2016,9,26]]},"assertion":[{"value":"2016-09-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}