共 161 条
[1]
Abdellatif T, 2018, INT CONF NEW TECHNOL
[2]
Abdullah N, 2017, INT CONF UBIQ FUTUR, P887
[3]
ETHIR: A Framework for High-Level Analysis of Ethereum Bytecode
[J].
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018),
2018, 11138
:513-520
[4]
Alexaki S, 2018, IEEE INT WORKSH COMP, P254
[5]
An Efficient Framework for Optimistic Concurrent Execution of Smart Contracts
[J].
2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP),
2019,
:83-92
[7]
[Anonymous], ROOTSTOCK PLATFORM B
[8]
[Anonymous], CARDANO BLOCKCHAIN W
[9]
[Anonymous], QTUM BLOCKCHAIN WHIT
[10]
[Anonymous], 2018, NEM TECHNICAL REFERE