共 38 条
[1]
SAFEVM: A Safety Verifier for Ethereum Smart Contracts
[J].
PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19),
2019,
:386-389
[2]
Alharbi M, 2020, IEEE INT CONF INF VI, P98, DOI [10.1109/IV51561.2020.00026, 10.2316/P.2018.857-013]
[3]
Allamanis M., 2018, INT C LEARN REPR
[4]
[Anonymous], 2014, Ethereum: A secure decentralised generalised transaction ledger
[5]
Solidifier: bounded model checking Solidity using lazy contract deployment and precise memory modelling
[J].
36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021,
2021,
:1788-1797
[6]
Formal Modeling and Verification of Smart Contracts
[J].
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018),
2018,
:322-326
[8]
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
[J].
2021 IEEE/ACM 29TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2021),
2021,
:127-137
[9]
Destefanis G, 2018, 2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), P19, DOI 10.1109/IWBOSE.2018.8327567
[10]
Ethereum Ethereum, BLOCKCH APP PLATF