Fetching the paper…
Reading the bibliography…
Smart contracts are computer programs running on blockchains to automate the transaction execution between users.
C. Flanagan and K. R. M. Leino, “Houdini, an annotation assistant for esc/java,” in International Symposium of Formal Methods Europe . Springer, 2001, pp. 500–517
2001
Earlier work this paper cites.
C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata, “Extended static checking for java,” in Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation , 2002, pp. 234–245
2002
Earlier work this paper cites.
M. Barnett, B.-Y. E. Chang, R. DeLine, B. Jacobs, and K. R. M. Leino, “Boogie: A modular reusable verifier for object-oriented programs,” in Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures 4 . Springer, 2006, pp. 364–387
2006
Earlier work this paper cites.
G. Wood, “Ethereum: A secure decentralised generalised transaction ledger,” Ethereum project yellow paper , vol. 151, pp. 1–32, 2014
2014
Earlier work this paper cites.
“EIP-20: A standard interface for tokens,” https://eips.ethereum.org/EIPS/eip-20 , 2015
2015
Earlier work this paper cites.
D. Siegel, Understanding The DAO Attack , 2016. [Online]. Available: https://www.coindesk.com/understanding-dao-hack-journalists
2016
Earlier work this paper cites.
L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in Proceedings of the 2016 ACM SIGSAC conference on computer and communications security . ACM, 2016, pp. 254–269
2016
Earlier work this paper cites.
G. Roșu, “ERC20-K: Formal Executable Specification of ERC20,” Mar. 2023, original-date: 2017-11-20T22:28:46Z. [Online]. Available: https://github.com/runtimeverification/erc20-semantics
2017
Earlier work this paper cites.
E. ETL, “Ethereum in BigQuery: a public dataset for smart contract analytics,” https://cloud.google.com/blog/products/data-analytics/ethereum-bigquery-public-dataset-smart-contract-analytics , 2017
2017
Earlier work this paper cites.
P. Santiago, The Parity Wallet Hack Explained , 2017. [Online]. Available: https://blog.openzeppelin.com/on-the-parity-wallet-multisig-hack-405a8c12e8f7/
2017
Earlier work this paper cites.
Y. Guo, An Incompatibility in Ethereum Smart Contract Threatening dApp Ecosystem , 2018. [Online]. Available: https://medium.loopring.io/an-incompatibility-in-smart-contract-threatening-dapp-ecosystem-72b8ca5db4da
2018
Earlier work this paper cites.
2018
Earlier work this paper cites.
E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, A. Stefanescu et al. , “KEVM: A complete formal semantics of the Ethereum virtual machine,” in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) . IEEE, 2018, pp. 204–217
2018
Earlier work this paper cites.
S. Labs, “sec-bit/awesome-buggy-erc20-tokens: A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected,” Aug. 2018. [Online]. Available: https://github.com/sec-bit/awesome-buggy-erc20-tokens
2018
Earlier work this paper cites.
S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko, and Y. Alexandrov, “Smartcheck: Static analysis of Ethereum smart contracts,” in Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain , 2018, pp. 9–16
2018
Earlier work this paper cites.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: Analyzing safety of smart contracts,” in Ndss , 2018, pp. 1–12
2018
Earlier work this paper cites.
B. Jiang, Y. Liu, and W. Chan, “Contractfuzzer: Fuzzing smart contracts for vulnerability detection,” in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . ACM, 2018, pp. 259–269
2018
Earlier work this paper cites.
T. Chen, Y. Zhang, Z. Li, X. Luo, T. Wang, R. Cao, X. Xiao, and X. Zhang, “Tokenscope: Automatically detecting inconsistent behaviors of cryptocurrency tokens in Ethereum,” in Proceedings of the 2019 ACM SIGSAC conference on computer and communications security , 2019, pp. 1503–1520
2019
Earlier work this paper cites.
H. Wang, Y. Li, S.-W. Lin, L. Ma, and Y. Liu, “VULTRON: Catching vulnerable smart contracts once and for all,” in Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) . IEEE Press, 5 2019, pp. 1–4
2019
Cited alongside, same era.
X. Li, C. Su, Y. Xiong, W. Huang, and W. Wang, “Formal verification of bnb smart contract,” in 2019 5th International Conference on Big Data Computing and Communications (BIGCOM) . IEEE, 2019, pp. 74–78
2019
Cited alongside, same era.
J. Feist, G. Grieco, and A. Groce, “Slither: A static analysis framework for smart contracts,” in 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, 2019, pp. 8–15
2019
Cited alongside, same era.
Securify , Sofware Reliability Lab, 2019. [Online]. Available: https://securify.ch/
2019
Cited alongside, same era.
A. Permenev, D. Dimitrov, P. Tsankov, D. Drachsler-Cohen, and M. Vechev, “Verx: Safety verification of smart contracts,” in 2020 IEEE symposium on security and privacy (SP) . IEEE, 2020, pp. 1661–1677
2020
Later among the works it cites.
H. Wang, Y. Liu, Y. Li, S.-W. Lin, C. Artho, L. Ma, and Y. Liu, “Oracle-supported dynamic exploit generation for smart contracts,” IEEE Transactions on Dependable and Secure Computing , 2020
2020
Later among the works it cites.
T. D. Nguyen, L. H. Pham, J. Sun, Y. Lin, and Q. T. Minh, “sfuzz: An efficient adaptive fuzzer for solidity smart contracts,” in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering , 2020, pp. 778–788
2020
Later among the works it cites.
“Daikon,” http://plse.cs.washington.edu/daikon/ , 2021, the Daikon invariant detector
2021
Later among the works it cites.
“Slither,” https://github.com/crytic/slither , 2021, the Solidity Source Analyzer
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2019
Cited alongside, same era.
“Manticore,” https://github.com/trailofbits/manticore , 2019, symbolic Execution Tool for Smart Contracts
2019
Cited alongside, same era.
“Mythril,” https://github.com/ConsenSys/mythril , 2019, a Security Analysis Tool for EVM Bytecode
2019
Cited alongside, same era.
Echidna , Trail of Bits, 2019. [Online]. Available: https://github.com/trailofbits/echidna
2019
Cited alongside, same era.
“Oyente,” https://github.com/melonproject/oyente , 2019, an Analysis Tool for Smart Contracts
2019
Cited alongside, same era.
“Binance Smart Chain,” https://docs.binance.org/smart-chain/guides/bsc-intro.html , 2020, introduction of Binance Smart Chain
2020
Cited alongside, same era.
A. Hui, “Ethereum tokens worth $1b vulnerable to ‘Fake Deposit Attack’,” 2020. [Online]. Available: https://www.coindesk.com/tech/2020/08/25/ethereum-tokens-worth-1b-vulnerable-to-fake-deposit-attack/
2020
Cited alongside, same era.
H. Wang, Y. Liu, Y. Li, S.-W. Lin, C. Artho, L. Ma, and Y. Liu, “Oracle-supported dynamic exploit generation for smart contracts,” IEEE Transactions on Dependable and Secure Computing , 2020
2020
Cited alongside, same era.
2021
Later among the works it cites.
H.-A. Moon and S. Park, “Conformance evaluation of the top-100 Ethereum token smart contracts with Ethereum Request for Comment-20 functional specifications,” IET Software , vol. 16, no. 2, pp. 233–249, 2022
2022
Later among the works it cites.
“OpenZeppelin,” https://github.com/OpenZeppelin/openzeppelin-contracts , 2022, openZeppelin contracts
2022
Later among the works it cites.
“Inconsistency between the code and the doc of VestingWallet.release,” https://github.com/OpenZeppelin/openzeppelin-contracts/issues/3368 , 2022
2022
Later among the works it cites.
C. Zhu, Y. Liu, X. Wu, and Y. Li, “Identifying Solidity smart contract API documentation errors,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) , Oct. 2022
2022
Later among the works it cites.
B. Tan, B. Mariano, S. K. Lahiri, I. Dillig, and Y. Feng, “Soltype: refinement types for arithmetic overflow in solidity,” Proceedings of the ACM on Programming Languages , vol. 6, no. POPL, pp. 1–29, 2022
2022
Later among the works it cites.
Y. Liu and Y. Li, “Invcon: A dynamic invariant detector for ethereum smart contracts,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022, pp. 1–4
2022
Later among the works it cites.
J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng, “Learning contract invariants using reinforcement learning,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022, pp. 1–11
2022
Later among the works it cites.
Y. Liu, Y. Li, S.-W. Lin, and C. Artho, “Finding permission bugs in smart contracts with role mining,” in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) . New York, NY, USA: ACM, Jul. 2022, pp. 716–727
2022
Later among the works it cites.
M. Research, “Z3,” https://github.com/Z3Prover/z3 , 2022, accessed: December 15, 2023
2023
Later among the works it cites.
Certora, “Gambit: Mutant generation for Solidity,” https://github.com/Certora/gambit , 2022, accessed: December 9, 2023
2023
Later among the works it cites.
Z. Zhang, B. Zhang, W. Xu, and Z. Lin, “Demystifying exploitable bugs in smart contracts.” ICSE, 2023
2023
Later among the works it cites.
Sayfer, “3 Hacks an Audit Could Not Find,” https://sayfer.io/blog/3-hacks-an-audit-could-not-find/ , 2023, accessed: December 18, 2023
2023
Later among the works it cites.