{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T12:27:16Z","timestamp":1790166436913,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"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":[[2018,12,3]]},"DOI":"10.1145\/3274694.3274746","type":"proceedings-article","created":{"date-parts":[[2018,12,4]],"date-time":"2018-12-04T08:07:01Z","timestamp":1543910821000},"page":"505-517","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["TIFF"],"prefix":"10.1145","author":[{"given":"Vivek","family":"Jain","sequence":"first","affiliation":[{"name":"International Institute of Information Technology, Hyderabad, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjay","family":"Rawat","sequence":"additional","affiliation":[{"name":"Vrije Universiteit, Amsterdam, NL"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristiano","family":"Giuffrida","sequence":"additional","affiliation":[{"name":"Vrije Universiteit, Amsterdam, NL"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Herbert","family":"Bos","sequence":"additional","affiliation":[{"name":"Vrije Universiteit, Amsterdam, NL"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2013. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-7437.  2013. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-7437."},{"key":"e_1_3_2_1_2_1","unstructured":"2013. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-1953.  2013. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2013-1953."},{"key":"e_1_3_2_1_3_1","unstructured":"2015. https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=779849.  2015. https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=779849."},{"key":"e_1_3_2_1_4_1","unstructured":"2016. https:\/\/gitlab.com\/esr\/gif2png\/issues\/1.  2016. https:\/\/gitlab.com\/esr\/gif2png\/issues\/1."},{"key":"e_1_3_2_1_5_1","unstructured":"2016. https:\/\/bugs.freedesktop.org\/show_bug.cgi?id=85141.  2016. https:\/\/bugs.freedesktop.org\/show_bug.cgi?id=85141."},{"key":"e_1_3_2_1_6_1","unstructured":"2016. https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=844626.  2016. https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=844626."},{"key":"e_1_3_2_1_7_1","unstructured":"2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-9167.  2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-9167."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315286"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"key":"e_1_3_2_1_14_1","volume-title":"Angora: efficient fuzzing by principled search","author":"Chen Peng","unstructured":"Peng Chen and Hao Chen . 2018. Angora: efficient fuzzing by principled search . In IEEE S&P'18. San Francisco, CA, USA. Peng Chen and Hao Chen. 2018. Angora: efficient fuzzing by principled search. In IEEE S&P'18. San Francisco, CA, USA."},{"key":"e_1_3_2_1_15_1","volume-title":"JTR: A Binary Solution for Switch-Case Recovery. In In Proc. ESSoS'17","author":"Cojocar Lucian","year":"2017","unstructured":"Lucian Cojocar , Taddeus Kroes , and Herbert Bos . 2017 . JTR: A Binary Solution for Switch-Case Recovery. In In Proc. ESSoS'17 . 177--195. Lucian Cojocar, Taddeus Kroes, and Herbert Bos. 2017. JTR: A Binary Solution for Switch-Case Recovery. In In Proc. ESSoS'17. 177--195."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455820"},{"key":"e_1_3_2_1_17_1","unstructured":"DARPA CGC. 2015. DARPA Cyber Grand Challenge Binaries. https:\/\/github.com\/CyberGrandChallenge.  DARPA CGC. 2015. DARPA Cyber Grand Challenge Binaries. https:\/\/github.com\/CyberGrandChallenge."},{"key":"e_1_3_2_1_18_1","volume-title":"LAVA: Large-scale Automated Vulnerability Addition","author":"Dolan-Gavitt Brendan","year":"2016","unstructured":"Brendan Dolan-Gavitt , Patrick Hulin , Engin Kirda , Tim Leek , Andrea Mambretti , Wil Robertson , Frederick Ulrich , and Ryan Whelan . 2016 . LAVA: Large-scale Automated Vulnerability Addition . In IEEE S &P'16. Brendan Dolan-Gavitt, Patrick Hulin, Engin Kirda, Tim Leek, Andrea Mambretti, Wil Robertson, Frederick Ulrich, and Ryan Whelan. 2016. LAVA: Large-scale Automated Vulnerability Addition. In IEEE S&P'16."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111039"},{"key":"e_1_3_2_1_20_1","unstructured":"Jonathan Foote. 2013. CERT Triage Tools.  Jonathan Foote. 2013. CERT Triage Tools."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"S. Gan C. Zhang X. Qin X. Tu K. Li Z. Pei and Z. Chen. 2018. CollAFL: Path Sensitive Fuzzing. In IEEE S&P'18. IEEE 660--677.  S. Gan C. Zhang X. Qin X. Tu K. Li Z. Pei and Z. Chen. 2018. CollAFL: Path Sensitive Fuzzing. In IEEE S&P'18. IEEE 660--677.","DOI":"10.1109\/SP.2018.00040"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_24_1","volume-title":"Automated Whitebox Fuzz Testing. In NDSS'08","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y. Levin , and David Molnar . 2008 . Automated Whitebox Fuzz Testing. In NDSS'08 . Internet Society. Patrice Godefroid, Michael Y. Levin, and David Molnar. 2008. Automated Whitebox Fuzz Testing. In NDSS'08. Internet Society."},{"key":"e_1_3_2_1_25_1","volume-title":"Machine Learning for Input Fuzzing. CoRR abs\/1701.07232","author":"Godefroid Patrice","year":"2017","unstructured":"Patrice Godefroid , Hila Peleg , and Rishabh Singh . 2017. Learn&Fuzz : Machine Learning for Input Fuzzing. CoRR abs\/1701.07232 ( 2017 ). Patrice Godefroid, Hila Peleg, and Rishabh Singh. 2017. Learn&Fuzz: Machine Learning for Input Fuzzing. CoRR abs\/1701.07232 (2017)."},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX SEC'13","author":"Haller Istvan","year":"2013","unstructured":"Istvan Haller , Asia Slowinska , Matthias Neugschwandtner , and Herbert Bos . 2013 . Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations . In USENIX SEC'13 . 49--64. Istvan Haller, Asia Slowinska, Matthias Neugschwandtner, and Herbert Bos. 2013. Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations. In USENIX SEC'13. 49--64."},{"key":"e_1_3_2_1_27_1","volume-title":"USENIX Security 12.","author":"Holler Christian","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012. Fuzzing with Code Fragments . In USENIX Security 12. Bellevue, WA , 445--458. Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In USENIX Security 12. Bellevue, WA, 445--458."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151042"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_31_1","unstructured":"libtiff. 2017. https:\/\/github.com\/vadz\/libtiff\/blob\/master\/libtiff\/tif_getimage.c#L267.  libtiff. 2017. https:\/\/github.com\/vadz\/libtiff\/blob\/master\/libtiff\/tif_getimage.c#L267."},{"key":"e_1_3_2_1_32_1","unstructured":"Zhiqiang Lin Xiangyu Zhang and Dongyan Xu. 2010. Automatic Reverse Engineering of Data Structures from Binary Execution.. In NDSS' 10.  Zhiqiang Lin Xiangyu Zhang and Dongyan Xu. 2010. Automatic Reverse Engineering of Data Structures from Binary Execution.. In NDSS' 10."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.54"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_36_1","volume-title":"Xue Cong Li, and David A. Wagner","author":"Molnar David","year":"2009","unstructured":"David Molnar , Xue Cong Li, and David A. Wagner . 2009 . Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. In USENIX Sec '09. 67--82. David Molnar, Xue Cong Li, and David A. Wagner. 2009. Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. In USENIX Sec'09. 67--82."},{"key":"e_1_3_2_1_37_1","volume-title":"Principles of biostatistics","author":"Pagano Marcello","unstructured":"Marcello Pagano and Kimberlee Gauvreau . 2000. Principles of biostatistics ( 2 nd ed ed.). Australia ; Pacific Grove, CA : Duxbury . Marcello Pagano and Kimberlee Gauvreau. 2000. Principles of biostatistics (2nd ed ed.). Australia; Pacific Grove, CA: Duxbury.","edition":"2"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292553"},{"key":"e_1_3_2_1_39_1","unstructured":"Sanjay Rawat. 2016. VUzzer---Open Source Release. https:\/\/github.com\/vusec\/vuzzer.  Sanjay Rawat. 2016. VUzzer---Open Source Release. https:\/\/github.com\/vusec\/vuzzer."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Sanjay Rawat Vivek Jain Ashish Kumar Lucian Cojocar Cristiano Giuffrida and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing. In NDSS.  Sanjay Rawat Vivek Jain Ashish Kumar Lucian Cojocar Cristiano Giuffrida and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing. In NDSS.","DOI":"10.14722\/ndss.2017.23404"},{"key":"e_1_3_2_1_41_1","unstructured":"rc0r. 2017. Utilities for automated crash sample processing with AFL. https:\/\/github.com\/rc0r\/afl-utils\/blob\/master\/afl_utils\/afl_collect.py.  rc0r. 2017. Utilities for automated crash sample processing with AFL. https:\/\/github.com\/rc0r\/afl-utils\/blob\/master\/afl_utils\/afl_collect.py."},{"key":"e_1_3_2_1_42_1","unstructured":"Kostya Serebryany. {n. d.}. LibFuzzer: A library for coverage-guided fuzz testing (within LLVM). At: http:\/\/llvm.org\/docs\/LibFuzzer.html.  Kostya Serebryany. {n. d.}. LibFuzzer: A library for coverage-guided fuzz testing (within LLVM). At: http:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_43_1","volume-title":"(State of) The Art of War: Offensive Techniques in Binary Analysis","author":"Shoshitaishvili Yan","unstructured":"Yan Shoshitaishvili , Ruoyu Wang , Christopher Salls , Nick Stephens , Mario Polino , Andrew Dutcher , John Grosen , Siji Feng , Christophe Hauser , Christopher Kruegel , and Giovanni Vigna . 2016. SoK : (State of) The Art of War: Offensive Techniques in Binary Analysis . In IEEE S &P'16. Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, and Giovanni Vigna. 2016. SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis. In IEEE S&P'16."},{"key":"e_1_3_2_1_44_1","volume-title":"Choronzon: An approach at knowledge-based evolutionary fuzzing. https:\/\/github.com\/CENSUS\/choronzon.","author":"Sialveras Zisis","year":"2015","unstructured":"Zisis Sialveras and Nikolaos Naziridis . 2015 . Choronzon: An approach at knowledge-based evolutionary fuzzing. https:\/\/github.com\/CENSUS\/choronzon. Zisis Sialveras and Nikolaos Naziridis. 2015. Choronzon: An approach at knowledge-based evolutionary fuzzing. https:\/\/github.com\/CENSUS\/choronzon."},{"key":"e_1_3_2_1_45_1","volume-title":"Howard: A Dynamic Excavator for Reverse Engineering Data Structures. In NDSS' 11.","author":"Slowinska Asia","year":"2011","unstructured":"Asia Slowinska , Traian Stancescu , and Herbert Bos . 2011 . Howard: A Dynamic Excavator for Reverse Engineering Data Structures. In NDSS' 11. Asia Slowinska, Traian Stancescu, and Herbert Bos. 2011. Howard: A Dynamic Excavator for Reverse Engineering Data Structures. In NDSS' 11."},{"key":"e_1_3_2_1_46_1","volume-title":"Body Armor for Binaries: Preventing Buffer Overflows Without Recompilation. In USENIX ATC'12","author":"Slowinski Asia","year":"2012","unstructured":"Asia Slowinski , Traian Stancescu , and Herbert Bos . 2012 . Body Armor for Binaries: Preventing Buffer Overflows Without Recompilation. In USENIX ATC'12 . USENIX, 125--137. Asia Slowinski, Traian Stancescu, and Herbert Bos. 2012. Body Armor for Binaries: Preventing Buffer Overflows Without Recompilation. In USENIX ATC'12. USENIX, 125--137."},{"key":"e_1_3_2_1_47_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS' 16","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens , John Grosen , Christopher Salls , Andrew Dutcher , Ruoyu Wang , Jacopo Corbetta , Yan Shoshitaishvili , Christopher Kruegel , and Giovanni Vigna . 2016 . Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS' 16 . Internet Society , 1--16. Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS' 16. Internet Society, 1--16."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Spandan Veggalam Sanjay Rawat Istvan Haller and Herbert Bos. 2016. IFuzzer: An Evolutionary Interpreter Fuzzer using Genetic Programming. In ESORICS.  Spandan Veggalam Sanjay Rawat Istvan Haller and Herbert Bos. 2016. IFuzzer: An Evolutionary Interpreter Fuzzer using Genetic Programming. In ESORICS.","DOI":"10.1007\/978-3-319-45744-4_29"},{"key":"e_1_3_2_1_49_1","volume-title":"Skyfire: Data-Driven Seed Generation for Fuzzing","author":"Junjie WANG, Bihuan CHEN, Lei","year":"2017","unstructured":"Junjie WANG, Bihuan CHEN, Lei WEI, and Yang LIU . 2017 . Skyfire: Data-Driven Seed Generation for Fuzzing . In IEEE S &P'17. Junjie WANG, Bihuan CHEN, Lei WEI, and Yang LIU. 2017. Skyfire: Data-Driven Seed Generation for Fuzzing. In IEEE S&P'17."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"},{"key":"e_1_3_2_1_51_1","unstructured":"Michal Zalewski. 2014. American Fuzzy Lop. At: http:\/\/lcamtuf.coredump.cx\/afl\/.  Michal Zalewski. 2014. American Fuzzy Lop. At: http:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_52_1","unstructured":"Michal Zalewski. 2016. Integer Mutation. https:\/\/github.com\/mirrorer\/afl\/blob\/master\/config.h#L223.  Michal Zalewski. 2016. Integer Mutation. https:\/\/github.com\/mirrorer\/afl\/blob\/master\/config.h#L223."}],"event":{"name":"ACSAC '18: 2018 Annual Computer Security Applications Conference","location":"San Juan PR USA","acronym":"ACSAC '18","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 34th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274746","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3274694.3274746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:56Z","timestamp":1750193876000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274746"}},"subtitle":["Using Input Type Inference To Improve Fuzzing"],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":52,"alternative-id":["10.1145\/3274694.3274746","10.1145\/3274694"],"URL":"https:\/\/doi.org\/10.1145\/3274694.3274746","relation":{},"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"2018-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}