共 42 条
[2]
Anati I., 2013, P 2 INT WORKSH HARDW, P1
[3]
[Anonymous], 2015, INT SOFTW GUARD EXT
[4]
[Anonymous], J SUPERCOMPUT
[5]
MedRec: Using Blockchain for Medical Data Access and Permission Management
[J].
PROCEEDINGS 2016 2ND INTERNATIONAL CONFERENCE ON OPEN AND BIG DATA - OBD 2016,
2016,
:25-30
[6]
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
[7]
Biryukov A., 2017, FINANCIAL CRYPTOGRAP, V10323
[8]
Buterin Vitalik, 2014, NEXT GENERATION SMAR, V3, P2
[9]
Chen M, 2017, BIG DATA COGNITIVE C, V1
[10]
Chen Y., 2018, P USENIX WORKSH HOT, P1