{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:53Z","timestamp":1750306133767,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":102,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,3]],"date-time":"2017-11-03T00:00:00Z","timestamp":1509667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,3]]},"DOI":"10.1145\/3141235.3141236","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T12:31:37Z","timestamp":1509453097000},"page":"57-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["An Initial Investigation of Protocol Customization"],"prefix":"10.1145","author":[{"given":"David Ke","family":"Hong","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi Alfred","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z. Morley","family":"Mao","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache HTTP Server configure - Configure the source tree. http:\/\/httpd.apache.org\/docs\/2.4\/programs\/configure.html.  Apache HTTP Server configure - Configure the source tree. http:\/\/httpd.apache.org\/docs\/2.4\/programs\/configure.html."},{"key":"e_1_3_2_1_2_1","unstructured":"Check request\/response submission error based side of session. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/bb6f842b37b57c3d8e191db948e9165c59af7daf.  Check request\/response submission error based side of session. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/bb6f842b37b57c3d8e191db948e9165c59af7daf."},{"key":"e_1_3_2_1_3_1","unstructured":"Cloud Natural Language API. https:\/\/cloud.google.com\/natural-language\/.  Cloud Natural Language API. https:\/\/cloud.google.com\/natural-language\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Customer Guidance for WannaCrypt Attacks. https:\/\/blogs.technet.microsoft.com\/msrc\/2017\/05\/12\/customer-guidance-for-wannacrypt-attacks\/.  Customer Guidance for WannaCrypt Attacks. https:\/\/blogs.technet.microsoft.com\/msrc\/2017\/05\/12\/customer-guidance-for-wannacrypt-attacks\/."},{"key":"e_1_3_2_1_5_1","unstructured":"CVE-2008-2364: mod_proxy_http DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2008-2364.  CVE-2008-2364: mod_proxy_http DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2008-2364."},{"key":"e_1_3_2_1_6_1","unstructured":"CVE-2009-1191: mod_proxy_ajp data leak. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-1191.  CVE-2009-1191: mod_proxy_ajp data leak. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-1191."},{"key":"e_1_3_2_1_7_1","unstructured":"CVE-2009-3555: SSL\/TLS renegotiation attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-3555.  CVE-2009-3555: SSL\/TLS renegotiation attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-3555."},{"key":"e_1_3_2_1_8_1","unstructured":"CVE-2011-3192: Range header DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2011-3192.  CVE-2011-3192: Range header DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2011-3192."},{"key":"e_1_3_2_1_9_1","unstructured":"CVE-2011-3607: Integer overflow in Apache HTTP server. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-201--3607.  CVE-2011-3607: Integer overflow in Apache HTTP server. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-201--3607."},{"key":"e_1_3_2_1_10_1","unstructured":"CVE-2012-3499: Apache XSS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2012-3499.  CVE-2012-3499: Apache XSS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2012-3499."},{"key":"e_1_3_2_1_11_1","unstructured":"CVE-2012-4929: CRIME attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2012-4929.  CVE-2012-4929: CRIME attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2012-4929."},{"key":"e_1_3_2_1_12_1","unstructured":"CVE-2013-0169: Lucky13 attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-0169.  CVE-2013-0169: Lucky13 attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-0169."},{"key":"e_1_3_2_1_13_1","unstructured":"CVE-2013-3587: BREACH attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-3587.  CVE-2013-3587: BREACH attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-3587."},{"key":"e_1_3_2_1_14_1","unstructured":"CVE-2014-0160: Heartbleed bug. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2014-0160.  CVE-2014-0160: Heartbleed bug. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2014-0160."},{"key":"e_1_3_2_1_15_1","unstructured":"CVE-2015-0204: OpenSSL FREAK attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-0204.  CVE-2015-0204: OpenSSL FREAK attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-0204."},{"key":"e_1_3_2_1_16_1","unstructured":"CVE-2015-2808: RC4 attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-2808.  CVE-2015-2808: RC4 attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-2808."},{"key":"e_1_3_2_1_17_1","unstructured":"CVE-2015-4000: Logjam attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-4000.  CVE-2015-4000: Logjam attack. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-4000."},{"key":"e_1_3_2_1_18_1","unstructured":"CVE-2015-8659: Dependency cycle DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-8659.  CVE-2015-8659: Dependency cycle DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2015-8659."},{"key":"e_1_3_2_1_19_1","unstructured":"CVE-2016-0777: OpenSSH client information leak. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-0777.  CVE-2016-0777: OpenSSH client information leak. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-0777."},{"key":"e_1_3_2_1_20_1","unstructured":"CVE-2016-1232: Prosody XMPP dialback vulnerability. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-1232.  CVE-2016-1232: Prosody XMPP dialback vulnerability. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-1232."},{"key":"e_1_3_2_1_21_1","unstructured":"CVE-2016-1544: HPACK bomb. https:\/\/nghttp2.org\/blog\/2016\/02\/11\/nghttp2-v1-7-1\/.  CVE-2016-1544: HPACK bomb. https:\/\/nghttp2.org\/blog\/2016\/02\/11\/nghttp2-v1-7-1\/."},{"key":"e_1_3_2_1_22_1","unstructured":"CVE-2016-1546: Slow read DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-1546.  CVE-2016-1546: Slow read DoS. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-1546."},{"key":"e_1_3_2_1_23_1","unstructured":"CVE-2016-5387: HTTP_PROXY redirection. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-5387.  CVE-2016-5387: HTTP_PROXY redirection. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-5387."},{"key":"e_1_3_2_1_24_1","unstructured":"CVE-2016-6581: HPACK bomb. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-6581.  CVE-2016-6581: HPACK bomb. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-6581."},{"key":"e_1_3_2_1_25_1","unstructured":"CVE-2017-5858: XMPP Message Carbons extension vulnerability. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-5858.  CVE-2017-5858: XMPP Message Carbons extension vulnerability. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-5858."},{"key":"e_1_3_2_1_26_1","unstructured":"Deepmind ai reduces google data centre cooling bill by 40%. https:\/\/deepmind.com\/blog\/deepmind-ai-reduces-google-data-centre-cooling-bill-40\/.  Deepmind ai reduces google data centre cooling bill by 40%. https:\/\/deepmind.com\/blog\/deepmind-ai-reduces-google-data-centre-cooling-bill-40\/."},{"key":"e_1_3_2_1_27_1","unstructured":"Google Application Security. https:\/\/www.google.com\/about\/appsecurity\/research\/.  Google Application Security. https:\/\/www.google.com\/about\/appsecurity\/research\/."},{"key":"e_1_3_2_1_28_1","unstructured":"Hypertext Transfer Protocol Version 2 (HTTP\/2). https:\/\/http2.github.io\/http2-spec\/.  Hypertext Transfer Protocol Version 2 (HTTP\/2). https:\/\/http2.github.io\/http2-spec\/."},{"key":"e_1_3_2_1_29_1","unstructured":"Introducing DeepText: Facebook's text understanding engine. https:\/\/code.facebook.com\/posts\/181565595577955\/introducing-deeptext-facebook-s-text-understanding-engine\/.  Introducing DeepText: Facebook's text understanding engine. https:\/\/code.facebook.com\/posts\/181565595577955\/introducing-deeptext-facebook-s-text-understanding-engine\/."},{"key":"e_1_3_2_1_30_1","unstructured":"nghttp2 - HTTP\/2 C Library and tools. https:\/\/github.com\/nghttp2\/nghttp2\/.  nghttp2 - HTTP\/2 C Library and tools. https:\/\/github.com\/nghttp2\/nghttp2\/."},{"key":"e_1_3_2_1_31_1","unstructured":"OpenSCAP. https:\/\/www.open-scap.org\/.  OpenSCAP. https:\/\/www.open-scap.org\/."},{"key":"e_1_3_2_1_32_1","unstructured":"Petya Ransomware Spreading Rapidly Worldwide Just Like WannaCry. http:\/\/thehackernews.com\/2017\/06\/petya-ransomware-attack.html.  Petya Ransomware Spreading Rapidly Worldwide Just Like WannaCry. http:\/\/thehackernews.com\/2017\/06\/petya-ransomware-attack.html."},{"key":"e_1_3_2_1_33_1","unstructured":"Return error from nghttp2_submit_headers request when self dependency. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/8716dd05d44f3b4cf0ff719240297cec57359815.  Return error from nghttp2_submit_headers request when self dependency. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/8716dd05d44f3b4cf0ff719240297cec57359815."},{"key":"e_1_3_2_1_34_1","unstructured":"Set max number of outgoing concurrent streams to 100 by default. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/a151a44caf92d8bc7ecca8d8ec4780fa6206be96.  Set max number of outgoing concurrent streams to 100 by default. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/a151a44caf92d8bc7ecca8d8ec4780fa6206be96."},{"key":"e_1_3_2_1_35_1","unstructured":"Spark MLlib. https:\/\/spark.apache.org\/mllib\/.  Spark MLlib. https:\/\/spark.apache.org\/mllib\/."},{"key":"e_1_3_2_1_36_1","unstructured":"The DROWN Attack. https:\/\/drownattack.com.  The DROWN Attack. https:\/\/drownattack.com."},{"key":"e_1_3_2_1_37_1","unstructured":"The Heartbleed Bug. http:\/\/heartbleed.com.  The Heartbleed Bug. http:\/\/heartbleed.com."},{"key":"e_1_3_2_1_38_1","unstructured":"Use NGHTTP2_PROTOCOL_ERROR when peer exceeds MAX_CONCURRENT_STREAMS limit. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/e2bbc9461618d953e60c51f6ad3c44a65c178db5.  Use NGHTTP2_PROTOCOL_ERROR when peer exceeds MAX_CONCURRENT_STREAMS limit. https:\/\/github.com\/nghttp2\/nghttp2\/commit\/e2bbc9461618d953e60c51f6ad3c44a65c178db5."},{"key":"e_1_3_2_1_39_1","unstructured":"Weak Diffie-Hellman and the Logjam Attack. https:\/\/weakdh.org.  Weak Diffie-Hellman and the Logjam Attack. https:\/\/weakdh.org."},{"key":"e_1_3_2_1_40_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2007","unstructured":"A. V. Aho , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools , volume 2 . Addison-wesley Reading , 2007 . A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools, volume 2. Addison-wesley Reading, 2007."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23247"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 23rd USENIX Conference on Security Symposium, SEC '14","author":"Bao T.","year":"2014","unstructured":"T. Bao , J. Burket , M. Woo , R. Turner , and D. Brumley . BYTEWEIGHT: Learning to Recognize Functions in Binary Code . In Proceedings of the 23rd USENIX Conference on Security Symposium, SEC '14 , 2014 . T. Bao, J. Burket, M. Woo, R. Turner, and D. Brumley. BYTEWEIGHT: Learning to Recognize Functions in Binary Code. In Proceedings of the 23rd USENIX Conference on Security Symposium, SEC '14, 2014."},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 2011 International Conference on Unsupervised and Transfer Learning Workshop -","volume":"27","author":"Bengio Y.","year":"2011","unstructured":"Y. Bengio . Deep Learning of Representations for Unsupervised and Transfer Learning . In Proceedings of the 2011 International Conference on Unsupervised and Transfer Learning Workshop - Volume 27 , UTLW '11, 2011 . Y. Bengio. Deep Learning of Representations for Unsupervised and Transfer Learning. In Proceedings of the 2011 International Conference on Unsupervised and Transfer Learning Workshop - Volume 27, UTLW '11, 2011."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080123"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 6th International Conference on Neural Information Processing Systems, NIPS '93","author":"Boyan J. A.","year":"1993","unstructured":"J. A. Boyan and M. L. Littman . Packet Routing in Dynamically Changing Networks: A Reinforcement Learning Approach . In Proceedings of the 6th International Conference on Neural Information Processing Systems, NIPS '93 , 1993 . J. A. Boyan and M. L. Littman. Packet Routing in Dynamically Changing Networks: A Reinforcement Learning Approach. In Proceedings of the 6th International Conference on Neural Information Processing Systems, NIPS '93, 1993."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/12276.13328"},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI '08","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI '08 , 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI '08, 2008."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.13"},{"key":"e_1_3_2_1_51_1","volume-title":"ACM CCS","author":"Chen Q. A.","year":"2015","unstructured":"Q. A. Chen , Z. Qian , Y. Jia , Y. Shao , and Z. M. Mao . Static Detection of Packet Injection Vulnerabilities - A Case for Identifying Attacker-controlled Implicit Information Leaks . In ACM CCS , 2015 . Q. A. Chen, Z. Qian, Y. Jia, Y. Shao, and Z. M. Mao. Static Detection of Packet Injection Vulnerabilities - A Case for Identifying Attacker-controlled Implicit Information Leaks. In ACM CCS, 2015."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2004.111"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241189.3241199"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1999.777758"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications","author":"Sutter B. De","year":"2000","unstructured":"B. De Sutter , B. De Bus , K. De Bosschere , P. Keyngnaert , and B. Demoen . On the Static Analysis of Indirect Control Transfers in Binaries . In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications , 2000 . B. De Sutter, B. De Bus, K. De Bosschere, P. Keyngnaert, and B. Demoen. On the Static Analysis of Indirect Control Transfers in Binaries. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40203-6_12"},{"key":"e_1_3_2_1_58_1","author":"Ferraiolo D. F.","year":"2001","unstructured":"D. F. Ferraiolo , R. Sandhu , S. Gavrila , D. R. Kuhn , and R. Chandramouli . Proposed NIST Standard for Role-based Access Control. ACM Transactions on Information and System Security (TISSEC) , 2001 . D. F. Ferraiolo, R. Sandhu, S. Gavrila, D. R. Kuhn, and R. Chandramouli. Proposed NIST Standard for Role-based Access Control. ACM Transactions on Information and System Security (TISSEC), 2001.","journal-title":"Proposed NIST Standard for Role-based Access Control. ACM Transactions on Information and System Security (TISSEC)"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_14"},{"key":"e_1_3_2_1_60_1","volume-title":"CoRR","author":"Goldberg Y.","year":"2015","unstructured":"Y. Goldberg . A Primer on Neural Network Models for Natural Language Processing . CoRR , 2015 . Y. Goldberg. A Primer on Neural Network Models for Natural Language Processing. CoRR, 2015."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764696"},{"key":"e_1_3_2_1_62_1","unstructured":"HexHive. libdetox: Fast and efficient binary translator. https:\/\/github.com\/HexHive\/libdetox.  HexHive. libdetox: Fast and efficient binary translator. https:\/\/github.com\/HexHive\/libdetox."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3200-2_7"},{"key":"e_1_3_2_1_64_1","volume-title":"Proceedings of the 9th International Conference on Bio-inspired Information and Communications Technologies, BICT '15","author":"Javaid A.","year":"2015","unstructured":"A. Javaid , Q. Niyaz , W. Sun , and M. Alam . A Deep Learning Approach for Network Intrusion Detection System . In Proceedings of the 9th International Conference on Bio-inspired Information and Communications Technologies, BICT '15 , 2015 . A. Javaid, Q. Niyaz, W. Sun, and M. Alam. A Deep Learning Approach for Network Intrusion Detection System. In Proceedings of the 9th International Conference on Bio-inspired Information and Communications Technologies, BICT '15, 2015."},{"key":"e_1_3_2_1_65_1","volume-title":"JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC '16","author":"Jiang Y.","year":"2016","unstructured":"Y. Jiang , D. Wu , and P. Liu . JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC '16 , 2016 . Y. Jiang, D. Wu, and P. Liu. JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC '16, 2016."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2016.27"},{"key":"e_1_3_2_1_67_1","volume-title":"OSDI","author":"Jin G.","year":"2012","unstructured":"G. Jin , W. Zhang , D. Deng , B. Liblit , and S. Lu . Automated Concurrency-Bug Fixing . In OSDI , 2012 . G. Jin, W. Zhang, D. Deng, B. Liblit, and S. Lu. Automated Concurrency-Bug Fixing. In OSDI, 2012."},{"key":"e_1_3_2_1_68_1","volume-title":"Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation","author":"Kinder J.","year":"2009","unstructured":"J. Kinder , F. Zuleger , and H. Veith . An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries . In Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation , 2009 . J. Kinder, F. Zuleger, and H. Veith. An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. In Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, 2009."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018440"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/882495.884435"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940114"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_75_1","volume-title":"Foundations of Statistical Natural Language Processing","author":"Manning C. D.","year":"1999","unstructured":"C. D. Manning and H. Sch\u00fctze . Foundations of Statistical Natural Language Processing . MIT Press , 1999 . C. D. Manning and H. Sch\u00fctze. Foundations of Statistical Natural Language Processing. MIT Press, 1999."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3005745.3005750"},{"key":"e_1_3_2_1_77_1","volume-title":"CC","author":"Necula G. C.","year":"2002","unstructured":"G. C. Necula , S. McPeak , S. P. Rahul , and W. Weimer . CIL: Intermediate Language and Tools for Analysis and Transformation of C prhttps:\/\/www.readcube.com\/homeograms . In CC , 2002 . G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C prhttps:\/\/www.readcube.com\/homeograms. In CC, 2002."},{"key":"e_1_3_2_1_78_1","volume-title":"USENIX security","author":"Pandita R.","year":"2013","unstructured":"R. Pandita , X. Xiao , W. Yang , W. Enck , and T. Xie . WHYPER: Towards Automating Risk Assessment of Mobile Applications . In USENIX security , 2013 . R. Pandita, X. Xiao, W. Yang, W. Enck, and T. Xie. WHYPER: Towards Automating Risk Assessment of Mobile Applications. In USENIX security, 2013."},{"key":"e_1_3_2_1_79_1","volume-title":"NSDI","author":"Pedrosa L.","year":"2015","unstructured":"L. Pedrosa , A. Fogel , N. Kothari , R. Govindan , R. Mahajan , and T. Millstein . Analyzing protocol implementations for interoperability . In NSDI , 2015 . L. Pedrosa, A. Fogel, N. Kothari, R. Govindan, R. Mahajan, and T. Millstein. Analyzing protocol implementations for interoperability. In NSDI, 2015."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382224"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660287"},{"key":"e_1_3_2_1_82_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation, OSDI '16","author":"Quinn A.","year":"2016","unstructured":"A. Quinn , D. Devecsery , P. M. Chen , and J. Flinn . JetStream: Cluster-scale Parallelization of Information Flow Queries . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation, OSDI '16 , 2016 . A. Quinn, D. Devecsery, P. M. Chen, and J. Flinn. JetStream: Cluster-scale Parallelization of Information Flow Queries. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation, OSDI '16, 2016."},{"key":"e_1_3_2_1_83_1","volume-title":"Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In USENIX Security Symposium","author":"Ramos D. A.","year":"2015","unstructured":"D. A. Ramos and D. R. Engler . Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In USENIX Security Symposium , 2015 . D. A. Ramos and D. R. Engler. Under-Constrained Symbolic Execution: Correctness Checking for Real Code. In USENIX Security Symposium, 2015."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_85_1","volume-title":"ARMA International Information Management","author":"Saint-Germain R.","year":"2005","unstructured":"R. Saint-Germain . Information Security Management Best Practice Based on ISO\/IEC 17799 . ARMA International Information Management , 2005 . R. Saint-Germain. Information Security Management Best Practice Based on ISO\/IEC 17799. ARMA International Information Management, 2005."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2015.7413680"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.5555\/2831143.2831182"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.5555\/2390500.2390505"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.25"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896367"},{"key":"e_1_3_2_1_96_1","volume-title":"NDSS","author":"Wagner D.","year":"2000","unstructured":"D. Wagner , J. S. Foster , E. A. Brewer , and A. Aiken . A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities . In NDSS , 2000 . D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. In NDSS, 2000."},{"key":"e_1_3_2_1_97_1","volume-title":"Proceedings of the 24th USENIX Conference on Security Symposium, SEC'15","author":"Wang R.","year":"2015","unstructured":"R. Wang , W. Enck , D. Reeves , X. Zhang , P. Ning , D. Xu , W. Zhou , and A. M. Azab . EASEAndroid: Automatic Policy Analysis and Refinement for Security Enhanced Android via Large-scale Semi-Supervised Learning . In Proceedings of the 24th USENIX Conference on Security Symposium, SEC'15 , 2015 . R. Wang, W. Enck, D. Reeves, X. Zhang, P. Ning, D. Xu, W. Zhou, and A. M. Azab. EASEAndroid: Automatic Policy Analysis and Refinement for Security Enhanced Android via Large-scale Semi-Supervised Learning. In Proceedings of the 24th USENIX Conference on Security Symposium, SEC'15, 2015."},{"key":"e_1_3_2_1_98_1","volume-title":"Reassembleable Disassembling. In Proceedings of the 24th USENIX Conference on Security Symposium, SEC '15","author":"Wang S.","year":"2015","unstructured":"S. Wang , P. Wang , and D. Wu . Reassembleable Disassembling. In Proceedings of the 24th USENIX Conference on Security Symposium, SEC '15 , 2015 . S. Wang, P. Wang, and D. Wu. Reassembleable Disassembling. In Proceedings of the 24th USENIX Conference on Security Symposium, SEC '15, 2015."},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.106"},{"key":"e_1_3_2_1_100_1","volume-title":"OSDI","author":"Xu T.","year":"2016","unstructured":"T. Xu , X. Jin , P. Huang , Y. Zhou , S. Lu , L. Jin , and S. Pasupathy . Early Detection of Configuration Errors to Reduce Failure Damage . In OSDI , 2016 . T. Xu, X. Jin, P. Huang, Y. Zhou, S. Lu, L. Jin, and S. Pasupathy. Early Detection of Configuration Errors to Reduce Failure Damage. In OSDI, 2016."},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.25"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978304"}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Dallas Texas USA","acronym":"CCS '17"},"container-title":["Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141235.3141236","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3141235.3141236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:13Z","timestamp":1750217833000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141235.3141236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,3]]},"references-count":102,"alternative-id":["10.1145\/3141235.3141236","10.1145\/3141235"],"URL":"https:\/\/doi.org\/10.1145\/3141235.3141236","relation":{},"subject":[],"published":{"date-parts":[[2017,11,3]]},"assertion":[{"value":"2017-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}