The following publications are possibly variants of this publication:
- DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart ContractsRu Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo 0001. ICECCS 2020: 125-134 [doi]
- Rich specifications for Ethereum smart contract verificationChristian Bräm, Marco Eilers, Peter Müller 0001, Robin Sierra, Alexander J. Summers. PACMPL, 5(OOPSLA):1-30, 2021. [doi]
- Comparison of Ethereum Smart Contract Analysis and Verification MethodsVincent Happersberger, Frank-Walter Jäkel, Thomas Knothe, Yvonne Anne Pignolet, Stefan Schmid 0001. esorics 2024: 344-358 [doi]
- SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart ContractsMonika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer. ASE 2023: 2102-2105 [doi]