{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:32:27Z","timestamp":1784874747856,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T00:00:00Z","timestamp":1572998400000},"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":[[2019,11,6]]},"DOI":"10.1145\/3319535.3363230","type":"proceedings-article","created":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T13:08:32Z","timestamp":1573132112000},"page":"531-548","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":223,"title":["Learning to Fuzz from Symbolic Execution with Application to Smart Contracts"],"prefix":"10.1145","author":[{"given":"Jingxuan","family":"He","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mislav","family":"Balunovi\u0107","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nodar","family":"Ambroladze","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petar","family":"Tsankov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,11,6]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910371999"},{"key":"e_1_3_2_2_2_1","volume-title":"6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. https:\/\/openreview.net\/forum?id=BJOFETxR-","author":"Allamanis Miltiadis","year":"2018","unstructured":"Miltiadis Allamanis , Marc Brockschmidt , and Mahmoud Khademi . 2018 . Learning to Represent Programs with Graphs . In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. https:\/\/openreview.net\/forum?id=BJOFETxR- Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. https:\/\/openreview.net\/forum?id=BJOFETxR-"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"e_1_3_2_2_4_1","volume-title":"2017 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2017","author":"Athiwaratkun Ben","year":"2017","unstructured":"Ben Athiwaratkun and Jack W. Stokes . 2017. Malware Classification with LS\u2122 and GRU Language Models and a Character-level CNN . In 2017 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2017 , New Orleans, LA, USA, March 5--9 , 2017 . 2482--2486. https:\/\/doi.org\/10.1109\/ICASSP.2017.7952603 10.1109\/ICASSP.2017.7952603 Ben Athiwaratkun and Jack W. Stokes. 2017. Malware Classification with LS\u2122 and GRU Language Models and a Character-level CNN. In 2017 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2017, New Orleans, LA, USA, March 5--9, 2017. 2482--2486. https:\/\/doi.org\/10.1109\/ICASSP.2017.7952603"},{"key":"e_1_3_2_2_5_1","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018","author":"Balunovic Mislav","year":"2018","unstructured":"Mislav Balunovic , Pavol Bielik , and Martin Vechev . 2018 . Learning to Solve SMT Formulas . In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018 , NeurIPS 2018, 3--8 December 2018, Montr\u00e9 al, Canada. 10338--10349. http:\/\/papers.nips.cc\/paper\/8233-learning-to-solve-smt-formulas Mislav Balunovic, Pavol Bielik, and Martin Vechev. 2018. Learning to Solve SMT Formulas. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3--8 December 2018, Montr\u00e9 al, Canada. 10338--10349. http:\/\/papers.nips.cc\/paper\/8233-learning-to-solve-smt-formulas"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 23rd USENIX Security Symposium","author":"Bao Tiffany","year":"2014","unstructured":"Tiffany Bao , Jonathan Burket , Maverick Woo , Rafael Turner , and David Brumley . 2014 . BYTEWEIGHT: Learning to Recognize Functions in Binary Code . In Proceedings of the 23rd USENIX Security Symposium , San Diego, CA, USA, August 20--22 , 2014. 845--860. https:\/\/www.usenix.org\/conference\/usenixsecurity14\/technical-sessions\/presentation\/bao Tiffany Bao, Jonathan Burket, Maverick Woo, Rafael Turner, and David Brumley. 2014. BYTEWEIGHT: Learning to Recognize Functions in Binary Code. In Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20--22, 2014. 845--860. https:\/\/www.usenix.org\/conference\/usenixsecurity14\/technical-sessions\/presentation\/bao"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062349"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","author":"Marcel B\u00f6","year":"2016","unstructured":"Marcel B\u00f6 hme, Van-Thuan Pham , and Abhik Roychoudhury . 2016 . Coverage-based Greybox Fuzzing as Markov Chain . In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , Vienna, Austria, October 24--28 , 2016. 1032--1043. https:\/\/doi.org\/10.1145\/2976749.2978428 10.1145\/2976749.2978428 Marcel B\u00f6 hme, Van-Thuan Pham, and Abhik Roychoudhury. 2016. Coverage-based Greybox Fuzzing as Markov Chain. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24--28, 2016. 1032--1043. https:\/\/doi.org\/10.1145\/2976749.2978428"},{"key":"e_1_3_2_2_10_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R . Engler . 2008 . KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings . 209--224. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cadar\/cadar.pdf Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings. 209--224. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cadar\/cadar.pdf"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006","author":"Cadar Cristian","year":"2006","unstructured":"Cristian Cadar , Vijay Ganesh , Peter M. Pawlowski , David L. Dill , and Dawson R. Engler . 2006. EXE: Automatically Generating Inputs of Death . In Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006 , Alexandria, VA, USA, Ioctober 30 - November 3, 2006 . 322--335. https:\/\/doi.org\/10.1145\/1180405.1180445 10.1145\/1180405.1180445 Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. 2006. EXE: Automatically Generating Inputs of Death. In Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006. 322--335. https:\/\/doi.org\/10.1145\/1180405.1180445"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_2_13_1","volume-title":"Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk, and Yoshua Bengio.","author":"Cho Kyunghyun","year":"2014","unstructured":"Kyunghyun Cho , Bart van Merrienboer , cC aglar G\u00fc lcc ehre , Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk, and Yoshua Bengio. 2014 . Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation. In Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014, October 25--29, 2014, Doha, Qatar, A meeting of SIGDAT, a Special Interest Group of the ACL. 1724--1734. http:\/\/aclweb.org\/anthology\/D\/D14\/D14--1179.pdf Kyunghyun Cho, Bart van Merrienboer, cC aglar G\u00fc lcc ehre, Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk, and Yoshua Bengio. 2014. Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation. In Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014, October 25--29, 2014, Doha, Qatar, A meeting of SIGDAT, a Special Interest Group of the ACL. 1724--1734. http:\/\/aclweb.org\/anthology\/D\/D14\/D14--1179.pdf"},{"key":"e_1_3_2_2_14_1","unstructured":"Crytic. 2019. Echdina. https:\/\/github.com\/crytic\/echidna\/  Crytic. 2019. Echdina. https:\/\/github.com\/crytic\/echidna\/"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"e_1_3_2_2_16_1","unstructured":"Etherscan. 2019. Ethereum (ETH) block explorer. https:\/\/etherscan.io\/  Etherscan. 2019. Ethereum (ETH) block explorer. https:\/\/etherscan.io\/"},{"key":"e_1_3_2_2_17_1","unstructured":"The go-ethereum Authors. 2019. Go Ethereum. https:\/\/geth.ethereum.org\/  The go-ethereum Authors. 2019. Go Ethereum. https:\/\/geth.ethereum.org\/"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2008","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y. Levin , and David A. Molnar . 2008b. Automated Whitebox Fuzz Testing . In Proceedings of the Network and Distributed System Security Symposium, NDSS 2008 , San Diego, California, USA, 10th February - 13th February 2008 . http:\/\/www.isoc.org\/isoc\/conferences\/ndss\/08\/papers\/10_automated_whitebox_fuzz.pdf Patrice Godefroid, Michael Y. Levin, and David A. Molnar. 2008b. Automated Whitebox Fuzz Testing. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2008, San Diego, California, USA, 10th February - 13th February 2008. http:\/\/www.isoc.org\/isoc\/conferences\/ndss\/08\/papers\/10_automated_whitebox_fuzz.pdf"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_2_25_1","volume-title":"KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 31st IEEE Computer Security Foundations Symposium, CSF 2018","author":"Hildenbrandt Everett","year":"2018","unstructured":"Everett Hildenbrandt , Manasvi Saxena , Nishant Rodrigues , Xiaoran Zhu , Philip Daian , Dwight Guth , Brandon M. Moore , Daejun Park , Yi Zhang , Andrei Stefanescu , and Grigore Rosu . 2018 . KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 31st IEEE Computer Security Foundations Symposium, CSF 2018 , Oxford, United Kingdom, July 9--12 , 2018. 204--217. https:\/\/doi.org\/10.1109\/CSF.2018.00022 10.1109\/CSF.2018.00022 Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, and Grigore Rosu. 2018. KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9--12, 2018. 204--217. https:\/\/doi.org\/10.1109\/CSF.2018.00022"},{"key":"e_1_3_2_2_26_1","volume-title":"Defining the Ethereum Virtual Machine for Interactive Theorem Provers. In Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema","author":"Hirai Yoichi","year":"2017","unstructured":"Yoichi Hirai . 2017 . Defining the Ethereum Virtual Machine for Interactive Theorem Provers. In Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema , Malta, April 7, 2017, Revised Selected Papers. 520--535. https:\/\/doi.org\/10.1007\/978--3--319--70278-0_33 10.1007\/978--3--319--70278-0_33 Yoichi Hirai. 2017. Defining the Ethereum Virtual Machine for Interactive Theorem Provers. In Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers. 520--535. https:\/\/doi.org\/10.1007\/978--3--319--70278-0_33"},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of the 21th USENIX Security Symposium","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with Code Fragments . In Proceedings of the 21th USENIX Security Symposium , Bellevue, WA, USA, August 8--10 , 2012. 445--458. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8--10, 2012. 445--458. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler"},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016","author":"Matthias","year":"2016","unstructured":"Matthias H\u00f6 schele and Andreas Zeller. 2016. Mining Input Grammars from Dynamic Taints . In Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016 , Singapore, September 3--7 , 2016 . 720--725. https:\/\/doi.org\/10.1145\/2970276.2970321 10.1145\/2970276.2970321 Matthias H\u00f6 schele and Andreas Zeller. 2016. Mining Input Grammars from Dynamic Taints. In Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3--7, 2016. 720--725. https:\/\/doi.org\/10.1145\/2970276.2970321"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_2_30_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018 , San Diego, California, USA, February 18--21 , 2018. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09--1_Kalra_paper.pdf Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18--21, 2018. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09--1_Kalra_paper.pdf"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278575"},{"key":"e_1_3_2_2_32_1","volume-title":"Kipf and Max Welling","author":"Thomas","year":"2017","unstructured":"Thomas N. Kipf and Max Welling . 2017 . Semi-Supervised Classification with Graph Convolutional Networks. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24--26, 2017, Conference Track Proceedings . https:\/\/openreview.net\/forum?id=SJU4ayYgl Thomas N. Kipf and Max Welling. 2017. Semi-Supervised Classification with Graph Convolutional Networks. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24--26, 2017, Conference Track Proceedings. https:\/\/openreview.net\/forum?id=SJU4ayYgl"},{"key":"e_1_3_2_2_33_1","volume-title":"Empowering Convolutional Networks for Malware Classification and Analysis. In 2017 International Joint Conference on Neural Networks, IJCNN 2017","author":"Kolosnjaji Bojan","year":"2017","unstructured":"Bojan Kolosnjaji , Ghadir Eraisha , George D. Webster , Apostolis Zarras , and Claudia Eckert . 2017 . Empowering Convolutional Networks for Malware Classification and Analysis. In 2017 International Joint Conference on Neural Networks, IJCNN 2017 , Anchorage, AK, USA, May 14--19 , 2017. 3838--3845. https:\/\/doi.org\/10.1109\/IJCNN.2017.7966340 10.1109\/IJCNN.2017.7966340 Bojan Kolosnjaji, Ghadir Eraisha, George D. Webster, Apostolis Zarras, and Claudia Eckert. 2017. Empowering Convolutional Networks for Malware Classification and Analysis. In 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14--19, 2017. 3838--3845. https:\/\/doi.org\/10.1109\/IJCNN.2017.7966340"},{"key":"e_1_3_2_2_34_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow . 2018 . teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts . In 27th USENIX Security Symposium, USENIX Security 2018 , Baltimore, MD, USA, August 15--17 , 2018. 1317--1333. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/krupp Johannes Krupp and Christian Rossow. 2018. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018. 1317--1333. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/krupp"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106295"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_2_38_1","volume-title":"Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5--8","author":"Mikolov Tomas","year":"2013","unstructured":"Tomas Mikolov , Ilya Sutskever , Kai Chen , Gregory S. Corrado , and Jeffrey Dean . 2013 . Distributed Representations of Words and Phrases and their Compositionality . In Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5--8 , 2013, Lake Tahoe, Nevada, United States. 3111--3119. http:\/\/papers.nips.cc\/paper\/5021-distributed-representations-of-words-and-phrases-and-their-compositionality Tomas Mikolov, Ilya Sutskever, Kai Chen, Gregory S. Corrado, and Jeffrey Dean. 2013. Distributed Representations of Words and Phrases and their Compositionality. In Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5--8, 2013, Lake Tahoe, Nevada, United States. 3111--3119. http:\/\/papers.nips.cc\/paper\/5021-distributed-representations-of-words-and-phrases-and-their-compositionality"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_2_40_1","unstructured":"OpenZeppelin. 2019. OpenZeppelin is a Library for Secure Smart Contract Development. https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity  OpenZeppelin. 2019. OpenZeppelin is a Library for Secure Smart Contract Development. https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity"},{"key":"e_1_3_2_2_41_1","unstructured":"Santiago Palladino. 2017. The Parity Wallet Hack Explained. https:\/\/blog.zeppelin.solutions\/on-the-parity-wallet-multisig-hack-405a8c12e8f7  Santiago Palladino. 2017. The Parity Wallet Hack Explained. https:\/\/blog.zeppelin.solutions\/on-the-parity-wallet-multisig-hack-405a8c12e8f7"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_2_43_1","volume-title":"VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020","author":"Permenev Anton","year":"2020","unstructured":"Anton Permenev , Dimitar Dimitrov , Petar Tsankov , Dana Drachsler-chohen, and Martin Vechev . 2020 . VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020 , San Jose, CA, USA, May 18--20 , 2020 . Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-chohen, and Martin Vechev. 2020. VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Jose, CA, USA, May 18--20, 2020 ."},{"key":"e_1_3_2_2_44_1","volume-title":"Denver","author":"Pomerleau Dean","year":"1988","unstructured":"Dean Pomerleau . 1988 . ALVINN: An Autonomous Land Vehicle in a Neural Network. In Advances in Neural Information Processing Systems 1, [NIPS Conference , Denver , Colorado, USA , 1988]. 305--313. http:\/\/papers.nips.cc\/paper\/95-alvinn-an-autonomous-land-vehicle-in-a-neural-network Dean Pomerleau. 1988. ALVINN: An Autonomous Land Vehicle in a Neural Network. In Advances in Neural Information Processing Systems 1, [NIPS Conference, Denver, Colorado, USA, 1988]. 305--313. http:\/\/papers.nips.cc\/paper\/95-alvinn-an-autonomous-land-vehicle-in-a-neural-network"},{"key":"e_1_3_2_2_45_1","volume-title":"VUzzer: Application-aware Evolutionary Fuzzing. In 24th Annual Network and Distributed System Security Symposium, NDSS 2017","author":"Rawat Sanjay","year":"2017","unstructured":"Sanjay Rawat , Vivek Jain , Ashish Kumar , Lucian Cojocar , Cristiano Giuffrida , and Herbert Bos . 2017 . VUzzer: Application-aware Evolutionary Fuzzing. In 24th Annual Network and Distributed System Security Symposium, NDSS 2017 , San Diego, California, USA, February 26 - March 1, 2017. https:\/\/www.ndss-symposium.org\/ndss2017\/ndss-2017-programme\/vuzzer-application-aware-evolutionary-fuzzing\/ Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giuffrida, and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing. In 24th Annual Network and Distributed System Security Symposium, NDSS 2017, San Diego, California, USA, February 26 - March 1, 2017. https:\/\/www.ndss-symposium.org\/ndss2017\/ndss-2017-programme\/vuzzer-application-aware-evolutionary-fuzzing\/"},{"key":"e_1_3_2_2_46_1","volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2011","author":"Ross St\u00e9phane","year":"2011","unstructured":"St\u00e9phane Ross , Geoffrey J. Gordon , and Drew Bagnell . 2011 . A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning . In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2011 , Fort Lauderdale, USA, April 11--13 , 2011. 627--635. http:\/\/jmlr.org\/proceedings\/papers\/v15\/ross11a\/ross11a.pdf St\u00e9phane Ross, Geoffrey J. Gordon, and Drew Bagnell. 2011. A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2011, Fort Lauderdale, USA, April 11--13, 2011. 627--635. http:\/\/jmlr.org\/proceedings\/papers\/v15\/ross11a\/ross11a.pdf"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_2_48_1","volume-title":"Data Mining Methods for Detection of New Malicious Executables. In 2001 IEEE Symposium on Security and Privacy","author":"Schultz Matthew G.","year":"2001","unstructured":"Matthew G. Schultz , Eleazar Eskin , Erez Zadok , and Salvatore J. Stolfo . 2001 . Data Mining Methods for Detection of New Malicious Executables. In 2001 IEEE Symposium on Security and Privacy , Oakland, California, USA May 14--16 , 2001 . 38--49. https:\/\/doi.org\/10.1109\/SECPRI.2001.924286 10.1109\/SECPRI.2001.924286 Matthew G. Schultz, Eleazar Eskin, Erez Zadok, and Salvatore J. Stolfo. 2001. Data Mining Methods for Detection of New Malicious Executables. In 2001 IEEE Symposium on Security and Privacy, Oakland, California, USA May 14--16, 2001. 38--49. https:\/\/doi.org\/10.1109\/SECPRI.2001.924286"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_2_50_1","volume-title":"NEUZZ: Efficient Fuzzing with Neural Program Learning. CoRR","author":"She Dongdong","year":"2018","unstructured":"Dongdong She , Kexin Pei , Dave Epstein , Junfeng Yang , Baishakhi Ray , and Suman Jana . 2018 . NEUZZ: Efficient Fuzzing with Neural Program Learning. CoRR , Vol. abs\/ 1807 .05620 (2018). arxiv: 1807.05620 http:\/\/arxiv.org\/abs\/1807.05620 Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, and Suman Jana. 2018. NEUZZ: Efficient Fuzzing with Neural Program Learning. CoRR, Vol. abs\/1807.05620 (2018). arxiv: 1807.05620 http:\/\/arxiv.org\/abs\/1807.05620"},{"key":"e_1_3_2_2_51_1","volume-title":"Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. In 26th Annual Network and Distributed System Security Symposium, NDSS 2019","author":"Shen Shiqi","year":"2019","unstructured":"Shiqi Shen , Shweta Shinde , Soundarya Ramesh , Abhik Roychoudhury , and Prateek Saxena . 2019 . Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. In 26th Annual Network and Distributed System Security Symposium, NDSS 2019 , San Diego, California, USA, February 24--27 , 2019. https:\/\/www.ndss-symposium.org\/ndss-paper\/neuro-symbolic-execution-augmenting-symbolic-execution-with-neural-constraints\/ Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, and Prateek Saxena. 2019. Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. In 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24--27, 2019. https:\/\/www.ndss-symposium.org\/ndss-paper\/neuro-symbolic-execution-augmenting-symbolic-execution-with-neural-constraints\/"},{"key":"e_1_3_2_2_52_1","volume-title":"Recognizing Functions in Binaries with Neural Networks. In 24th USENIX Security Symposium, USENIX Security 15","author":"Richard Shin Eui Chul","year":"2015","unstructured":"Eui Chul Richard Shin , Dawn Song , and Reza Moazzezi . 2015 . Recognizing Functions in Binaries with Neural Networks. In 24th USENIX Security Symposium, USENIX Security 15 , Washington, D.C., USA, August 12--14 , 2015. 611--626. https:\/\/www.usenix.org\/conference\/usenixsecurity15\/technical-sessions\/presentation\/shin Eui Chul Richard Shin, Dawn Song, and Reza Moazzezi. 2015. Recognizing Functions in Binaries with Neural Networks. In 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12--14, 2015. 611--626. https:\/\/www.usenix.org\/conference\/usenixsecurity15\/technical-sessions\/presentation\/shin"},{"key":"e_1_3_2_2_53_1","volume-title":"Learning Loop Invariants for Program Verification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018","author":"Si Xujie","year":"2018","unstructured":"Xujie Si , Hanjun Dai , Mukund Raghothaman , Mayur Naik , and Le Song . 2018 . Learning Loop Invariants for Program Verification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018 , NeurIPS 2018, 3--8 December 2018, Montr\u00e9 al, Canada. 7762--7773. http:\/\/papers.nips.cc\/paper\/8001-learning-loop-invariants-for-program-verification Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018. Learning Loop Invariants for Program Verification. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3--8 December 2018, Montr\u00e9 al, Canada. 7762--7773. http:\/\/papers.nips.cc\/paper\/8001-learning-loop-invariants-for-program-verification"},{"key":"e_1_3_2_2_54_1","volume-title":"Mastering the Game of Go with Deep Neural Networks and Tree Search. Nature","author":"Silver David","year":"2016","unstructured":"David Silver , Aja Huang , Chris J. Maddison , Arthur Guez , Laurent Sifre , George van den Driessche , Julian Schrittwieser , Ioannis Antonoglou , Vedavyas Panneershelvam , Marc Lanctot , Sander Dieleman , Dominik Grewe , John Nham , Nal Kalchbrenner , Ilya Sutskever , Timothy P. Lillicrap , Madeleine Leach , Koray Kavukcuoglu , Thore Graepel , and Demis Hassabis . 2016. Mastering the Game of Go with Deep Neural Networks and Tree Search. Nature , Vol. 529 , 7587 ( 2016 ), 484--489. https:\/\/doi.org\/10.1038\/nature16961 10.1038\/nature16961 David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Vedavyas Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy P. Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, and Demis Hassabis. 2016. Mastering the Game of Go with Deep Neural Networks and Tree Search. Nature, Vol. 529, 7587 (2016), 484--489. https:\/\/doi.org\/10.1038\/nature16961"},{"key":"e_1_3_2_2_55_1","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I. 211--229","author":"Singh Gagandeep","year":"2018","unstructured":"Gagandeep Singh , Markus P\u00fc schel, and Martin Vechev . 2018 . Fast Numerical Program Analysis with Reinforcement Learning. In Computer Aided Verification - 30th International Conference , CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I. 211--229 . https:\/\/doi.org\/10.1007\/978--3--319--96145--3_12 10.1007\/978--3--319--96145--3_12 Gagandeep Singh, Markus P\u00fc schel, and Martin Vechev. 2018. Fast Numerical Program Analysis with Reinforcement Learning. In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14--17, 2018, Proceedings, Part I. 211--229. https:\/\/doi.org\/10.1007\/978--3--319--96145--3_12"},{"key":"e_1_3_2_2_56_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In 23rd Annual Network and Distributed System Security Symposium, NDSS 2016","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 23rd Annual Network and Distributed System Security Symposium, NDSS 2016 , San Diego, California, USA, February 21--24 , 2016. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2017\/09\/driller-augmenting-fuzzing-through-selective-symbolic-execution.pdf 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 23rd Annual Network and Distributed System Security Symposium, NDSS 2016, San Diego, California, USA, February 21--24, 2016. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2017\/09\/driller-augmenting-fuzzing-through-selective-symbolic-execution.pdf"},{"key":"e_1_3_2_2_57_1","unstructured":"Parity Technologies. 2017. Security Alert. https:\/\/www.parity.io\/security-alert-2\/  Parity Technologies. 2017. Security Alert. https:\/\/www.parity.io\/security-alert-2\/"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_2_60_1","volume-title":"SECFUZZ: Fuzz-testing Security Protocols. In 7th International Workshop on Automation of Software Test, AST 2012","author":"Tsankov Petar","year":"2012","unstructured":"Petar Tsankov , Mohammad Torabi Dashti , and David A. Basin . 2012 . SECFUZZ: Fuzz-testing Security Protocols. In 7th International Workshop on Automation of Software Test, AST 2012 , Zurich, Switzerland, June 2--3 , 2012 . 1--7. https:\/\/doi.org\/10.1109\/IWAST.2012.6228985 10.1109\/IWAST.2012.6228985 Petar Tsankov, Mohammad Torabi Dashti, and David A. Basin. 2012. SECFUZZ: Fuzz-testing Security Protocols. In 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2--3, 2012. 1--7. https:\/\/doi.org\/10.1109\/IWAST.2012.6228985"},{"key":"e_1_3_2_2_61_1","volume-title":"Skyfire: Data-Driven Seed Generation for Fuzzing. In 2017 IEEE Symposium on Security and Privacy, SP 2017","author":"Wang Junjie","year":"2017","unstructured":"Junjie Wang , Bihuan Chen , Lei Wei , and Yang Liu . 2017 . Skyfire: Data-Driven Seed Generation for Fuzzing. In 2017 IEEE Symposium on Security and Privacy, SP 2017 , San Jose, CA, USA, May 22--26 , 2017. 579--594. https:\/\/doi.org\/10.1109\/SP.2017.23 10.1109\/SP.2017.23 Junjie Wang, Bihuan Chen, Lei Wei, and Yang Liu. 2017. Skyfire: Data-Driven Seed Generation for Fuzzing. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22--26, 2017. 579--594. https:\/\/doi.org\/10.1109\/SP.2017.23"},{"key":"e_1_3_2_2_62_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum project yellow paper","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum project yellow paper (2014). Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum project yellow paper (2014)."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_2_64_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Yun Insu","year":"2018","unstructured":"Insu Yun , Sangho Lee , Meng Xu , Yeongjin Jang , and Taesoo Kim . 2018 . QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing . In 27th USENIX Security Symposium, USENIX Security 2018 , Baltimore, MD, USA, August 15--17 , 2018. 745--761. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/yun Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2018. QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018. 745--761. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/yun"},{"key":"e_1_3_2_2_65_1","unstructured":"Michal Zalewski. 2019. American Fuzzy Loop. http:\/\/lcamtuf.coredump.cx\/afl\/  Michal Zalewski. 2019. American Fuzzy Loop. http:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_2_66_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Zhou Yi","year":"2018","unstructured":"Yi Zhou , Deepak Kumar , Surya Bakshi , Joshua Mason , Andrew Miller , and Michael Bailey . 2018 . Erays: Reverse Engineering Ethereum's Opaque Smart Contracts . In 27th USENIX Security Symposium, USENIX Security 2018 , Baltimore, MD, USA, August 15--17 , 2018. 1371--1385. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/zhou Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew Miller, and Michael Bailey. 2018. Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018. 1371--1385. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/zhou"}],"event":{"name":"CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security","location":"London United Kingdom","acronym":"CCS '19","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3363230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319535.3363230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:33Z","timestamp":1750203873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3363230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,6]]},"references-count":66,"alternative-id":["10.1145\/3319535.3363230","10.1145\/3319535"],"URL":"https:\/\/doi.org\/10.1145\/3319535.3363230","relation":{},"subject":[],"published":{"date-parts":[[2019,11,6]]},"assertion":[{"value":"2019-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}