Zijian Zhang

Blockchain-Enabled Secure Energy Trading With Verifiable Fairness in Industrial Internet of Things

2020 · IEEE Transactions on Industrial Informatics

Energy trading in Industrial Internet of Things (IIoT), a fundamental approach to realize Industry 4.0, plays a vital role in satisfying energy demands and optimizing system efficiency. Existing research works utilize a utility company to …

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 …