关注
Ru Ji
Ru Ji
University of Waterloo
在 uwaterloo.ca 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Characterizing cryptocurrency exchange scams
P Xia, H Wang, B Zhang, R Ji, B Gao, L Wu, X Luo, G Xu
Computers & Security 98, 101993, 2020
1102020
Deposafe: Demystifying the fake deposit vulnerability in ethereum smart contracts
R Ji, N He, L Wu, H Wang, G Bai, Y Guo
2020 25th International Conference on Engineering of Complex Computer …, 2020
172020
Finding Specification Blind Spots via Fuzz Testing
R Ji, M Xu
2023 IEEE Symposium on Security and Privacy (SP), 2708-2725, 2023
32023
Finding False Assurance in Formal Verification of Software Systems
R Ji
University of Waterloo, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4