共 20 条
[1]
[Anonymous], 2014, White Paper
[2]
Bahrynovska T., HIST ETHEREUM SECURI
[3]
Formal Verification of Smart Contracts Short Paper
[J].
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16),
2016,
:91-96
[4]
Privacy Management in Social Internet of Vehicles: Review, Challenges and Blockchain Based Solutions
[J].
IEEE ACCESS,
2019, 7
:79694-79713
[5]
C. AG, INFURA SCALABLE BLOC
[6]
ChainSecurity, SEC SCANN ETH SMART
[7]
ConsenSys, MYTHR CLASS
[8]
E. Community, ETH HOM DOC
[10]
ZEUS: Analyzing Safety of Smart Contracts
[J].
25TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2018),
2018,