共 50 条
- [21] Contract text markup language: A regularization method for extracting legal elements towards smart contracts Gongcheng Kexue Xuebao/Chinese Journal of Engineering, 2024, 46 (01): : 109 - 119
- [22] Domain Specific Language for Smart Contract Development 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (IEEE ICBC), 2020,
- [25] Smart Contract based Distributed IoT Security: A Protocol for Autonomous Device Management 21ST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING (CCGRID 2021), 2021, : 776 - 781
- [26] Zether: Towards Privacy in a Smart Contract World FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12059 : 423 - 443
- [27] STAN: Towards Describing Bytecodes of Smart Contract 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS 2020), 2020, : 273 - 284
- [28] Towards Automated Verification of Smart Contract Fairness PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 666 - 677