Zhiyuan Wei

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts

2023 · arXiv (Cornell University)

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins, they …

Distilling Lightweight Language Models for C/C++ Vulnerabilities

2025 · arXiv (Cornell University)

The increasing complexity of modern software systems exacerbates the prevalence of security vulnerabilities, posing risks of severe breaches and substantial economic loss. Consequently, robust code vulnerability detection is essential for software security. While Large Language …