Fetching the paper…
Reading the bibliography…
Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks.
C. Goller and A. Kuchler, “Learning task-dependent distributed representations by backpropagation through structure,” in
1996
Earlier work this paper cites.
A. Micheli, “Neural network for graphs: A contextual constructive approach,”
2009
Earlier work this paper cites.
J. Burnim, N. Jalbert, C. Stergiou, and K. Sen, “Looper: Lightweight detection of infinite loops at runtime,” in
2009
Earlier work this paper cites.
M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard, “Detecting and escaping infinite loops with jolt,” in
2011
Earlier work this paper cites.
M. Kling, S. Misailovic, M. Carbin, and M. Rinard, “Bolt: on-demand infinite loop escape in unmodified binaries,”
2012
Earlier work this paper cites.
V. Buterin
2014
Earlier work this paper cites.
H. Sak, A. Senior, and F. Beaufays, “Long short-term memory recurrent neural network architectures for large scale acoustic modeling,” in
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
F. Yamaguchi, N. Golde, D. Arp, and K. Rieck, “Modeling and discovering vulnerabilities with code property graphs,” in
2014
Earlier work this paper cites.
“Etherscan,” Website, 2015,
2015
Earlier work this paper cites.
“Ethereum,” Website, 2015,
2015
Earlier work this paper cites.
A. Ibing and A. Mai, “A fixed-point algorithm for automated static detection of infinite loops,” in
2015
Earlier work this paper cites.
L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in
2016
Earlier work this paper cites.
A. Bahga and V. K. Madisetti, “Blockchain platform for industrial internet of things,”
2016
Earlier work this paper cites.
“The dao smart contract,” Website, 2016,
2016
Earlier work this paper cites.
“King of the ether,” Webiste, 2016,
2016
Earlier work this paper cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy
2016
Earlier work this paper cites.
H. Wang, P. Zhang, X. Zhu, I. W.-H. Tsang, L. Chen, C. Zhang, and X. Wu, “Incremental subgraph feature selection for graph classification,”
2016
Earlier work this paper cites.
M. Defferrard, X. Bresson, and P. Vandergheynst, “Convolutional neural networks on graphs with fast localized spectral filtering,” in
2016
Earlier work this paper cites.
L. Mou, G. Li, L. Zhang, T. Wang, and Z. Jin, “Convolutional neural networks over tree structures for programming language processing,” in
2016
Earlier work this paper cites.
T. T. A. Dinh, J. Wang, G. Chen, R. Liu, B. C. Ooi, and K.-L. Tan, “Blockbench: A framework for analyzing private blockchains,” in
2017
Earlier work this paper cites.
C. Badertscher, U. Maurer, D. Tschudi, and V. Zikas, “Bitcoin as a transaction ledger: A composable treatment,” in
2017
Earlier work this paper cites.
M. Dhawan, “Analyzing safety of smart contracts,” in
2017
Cited alongside, same era.
L. S. Sankar, M. Sindhu, and M. Sethumadhavan, “Survey of consensus protocols on blockchain applications,” in
2017
Cited alongside, same era.
J. Kokina, R. Mancha, and D. Pachamanova, “Blockchain: Emergent industry adoption and implications for accounting,”
2017
Cited alongside, same era.
“An in-depth look at the parity multisig bug,” Website, 2017,
2017
Cited alongside, same era.
Y. Hirai, “Defining the ethereum virtual machine for interactive theorem provers,” in
2017
Cited alongside, same era.
N. Atzei, M. Bartoletti, and T. Cimoli, “A survey of attacks on ethereum smart contracts (sok),” in
2017
C. Liu, H. Liu, Z. Cao, Z. Chen, B. Chen, and B. Roscoe, “Reguard: finding reentrancy bugs in smart contracts,” in
2018
Later among the works it cites.
M. Zhang, Z. Cui, M. Neumann, and Y. Chen, “An end-to-end deep learning architecture for graph classification,” in
2018
Later among the works it cites.
M. Allamanis, M. Brockschmidt, and M. Khademi, “Learning to represent programs with graphs,” in
2018
Later among the works it cites.
H. Cai, V. W. Zheng, and K. C.-C. Chang, “A comprehensive survey of graph embedding: Problems, techniques, and applications,”
2018
Later among the works it cites.
X. Zhou, F. Shen, L. Liu, W. Liu, L. Nie, Y. Yang, and H. T. Shen, “Graph convolutional network hashing,”
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
T. N. Kipf and M. Welling, “Semi-supervised classification with graph convolutional networks,” in
2017
Cited alongside, same era.
2017
Cited alongside, same era.
J. Gilmer, S. S. Schoenholz, P. F. Riley, O. Vinyals, and G. E. Dahl, “Neural message passing for quantum chemistry,” in
2017
Cited alongside, same era.
X. Xu, C. Liu, Q. Feng, H. Yin, L. Song, and D. Song, “Neural network-based graph embedding for cross-platform binary code similarity detection,” in
2017
Cited alongside, same era.
B. Mueller, “A framework for bug hunting on the ethereum blockchain,” Webiste, 2017,
2017
Cited alongside, same era.
A. V. Phan, M. Le Nguyen, and L. T. Bui, “Convolutional neural networks over control flow graphs for software defect prediction,” in
2017
Cited alongside, same era.
2018
Later among the works it cites.
2018
Later among the works it cites.
R. A. Rossi, R. Zhou, and N. Ahmed, “Deep inductive graph representation learning,”
2018
Later among the works it cites.
“Vntchain,” Website, 2018,
2018
Later among the works it cites.
D. Yaga, P. Mell, N. Roby, and K. Scarfone, “Blockchain technology overview,”
2019
Later among the works it cites.
2019
Later among the works it cites.
M. Rodler, W. Li, G. O. Karame, and L. Davi, “Sereum: Protecting existing smart contracts against re-entrancy attacks,” in
2019
Later among the works it cites.
Y. Zhou, S. Liu, J. Siow, X. Du, and Y. Liu, “Devign: Effective vulnerability identification by learning comprehensive program semantics via graph neural networks,” in
2019
Later among the works it cites.
Y. Wei, X. Wang, L. Nie, X. He, R. Hong, and T.-S. Chua, “Mmgcn: Multi-modal graph convolution network for personalized recommendation of micro-video,” in
2019
Later among the works it cites.
S. Shen, S. Shinde, S. Ramesh, A. Roychoudhury, and P. Saxena, “Neuro-symbolic execution: Augmenting symbolic execution with neural constraints.” in
2019
Later among the works it cites.
J. Feist, G. Grieco, and A. Groce, “Slither: a static analysis framework for smart contracts,” in
2019
Later among the works it cites.
J. Zhang, X. Wang, H. Zhang, H. Sun, K. Wang, and X. Liu, “A novel neural source code representation based on abstract syntax tree,” in
2019
Later among the works it cites.
P. Qian, Z. Liu, Q. He, R. Zimmermann, and X. Wang, “Towards automated reentrancy detection for smart contracts based on sequential models,”
2020
Later among the works it cites.
Y. Zhuang, Z. Liu, P. Qian, Q. Liu, X. Wang, and Q. He, “Smart contract vulnerability detection using graph neural network,” in
2020
Later among the works it cites.
W. Wang, J. Song, G. Xu, Y. Li, H. Wang, and C. Su, “Contractward: Automated vulnerability detection models for ethereum smart contracts,”
2020
Later among the works it cites.