Video

视频链接：https://www.youtube.com/watch?v=vHVZ2gD8Ie4&ab_channel=AllHackingCons

github：https://github.com/dedis/student_18_byzcoin

Hu K, Guo K, Tang Q, et al. Leopard: Towards High Throughput-Preserving BFT for Large-scale Systems[C]//2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). IEEE, 2022: 157-167.

Wang Y, Zhou Z, Ren Z, et al. A Comprehensive Study of WebAssembly Runtime Bugs[C]//2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2023: 355-366.

Zheng S, Wang H, Wu L, et al. VM matters: a comparison of WASM VMS and EVMS in the performance of blockchain smart contracts[J]. arXiv preprint arXiv:2012.01032, 2020.

收集、分析智能合约审计报告

调研区块链虚拟机安全

BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects

Yi X, Fang Y, Wu D, et al. BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects[C].Network and Distributed System Security (NDSS) Symposium 2023 27 February - 3 March 2023, San Diego, CA, USA.

Uncovering Smart Contract VM Bugs Via Differential Fuzzing

Maier D, Fäßler F, Seifert J P. Uncovering Smart Contract VM Bugs Via Differential Fuzzing[C]//Reversing and Offensive-oriented Trends Symposium. 2021: 11-22.

写写作业，记记笔记（maybe

学习南京大学的静态程序分析技术课程

课程主页：Static Program Analysis | Tai-e (pascal-lab.net)

共计32小时