Supporting the next generation of web stacks with cutting edge research on the convergence of AI & blockchain.
-
Oracle-supported dynamic exploit generation for smart contracts
H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809 | TDSC, CCF Rank A
-
Catching Vulnerable Smart Contracts Once and for All
ICSE, CCF Rank A
-
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
ASE, CCF Rank A
-
xfuzz: Machine learning guided cross-contract fuzzing
TDSC, CCF Rank A
-
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures J Ye, M Ma, Y Lin, L Ma, Y Xue, J Zhao Journal of Systems and Software 192, 111410 | JSS, CCF Rank B
-
Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models Y Huang, J Song, Z Wang, H Chen, L Ma arXiv preprint arXiv:2307.10236, 2023
-
Automatic web testing using curiosity-driven reinforcement learning Y Zheng, Y Liu, X Xie, Y Liu, L Ma, J Hao, Y Liu 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021
-
Towards Understanding Quality Challenges of the Federated Learning: A First Look from the Lens of Robustness AE Abyane, D Zhu, RM de Souza, L Ma, H Hemmati arXiv preprint arXiv:2201.01409, 2022
-
A Kind of New Digital Stable Coin Framework
currency -
Similar vulnerability detection of smart contracts based on VectorDB
security,AI -
Implementation of selective disclosure of Verifiable Credentials
did,Crypto -
Design and implementation of Consortium Blockchain framework based on Move
chain -
Research and design the L2 solution based on Move Framework
chain -
AI-based smart contracts generation in Move language
AI -
A decentralized software process of smart contract governed by fully on-chain DAO
Software Engineering
Implementation content:
- AI-based
crates.io
Vector Dataset and AI-driven crates.io serve as a package management platform for the pan-Move ecosystem.
By introducing AI capabilities into traditional package management platforms, you can talk to smart contract codes, or use smart contract codes on the platform to learn.
- Move ETF
A basket of ETFs based on the Move ecosystem, governed through DAO.