共 126 条
- [91] ALHARBY M, ALDWEESH A, MOORSEL A V., Blockchain-based smart contracts:A systematic mapping study of academic research(2018)[C], Proceedings of 2018 International Conference on Cloud Computing, Big Data and Blockchain(ICCBB), pp. 1-6, (2018)
- [92] MORABITO V., Smart contracts and licensing, Proceedings of Business Innovation Through Blockchain, pp. 101-124, (2017)
- [93] SCHRANS F, EISENBACH S, DROSSOPOULOU S., Writing safe smart contracts in flint, Proceedings of the 2nd International Conference on Art, Science, and Engineering of Programming, pp. 218-219, (2018)
- [94] BLACKSHEAR S, DILL D L, QADEER S, Et al., Resources:A safe language abstraction for money
- [95] BERNARDO B, CAUDERLIER R, PESIN B, Et al., Albert, an intermediate smart-contract language for the Tezos blockchain, Proceedings of Financial Cryptography and Data Security(FC), pp. 584-598, (2020)
- [96] JIANG Bo, LIU Ye, CHAN W K., Contract fuzzer:Fuzzing smart contracts for vulnerability detection, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 259-269, (2018)
- [97] CHEN Ting, CAO Rong, LI Ting, Et al., SODA:A generic online detection framework for smart contracts, Proceedings of 2020 Network and Distributed System Security Symposium(NDSS), (2020)
- [98] CertiK chain whitepaper
- [99] LANEVE C, COEN C S, VESCHETTI A., On the prediction of smart contracts' behaviours, From Software Engineering to Formal Methods and Tools, and Back, pp. 397-415, (2019)
- [100] ZHANG F, CECCHETTI E, CROMAN K, Et al., Town crier:An authenticated data feed for smart contracts, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 270-282, (2016)