VRust: Automated Vulnerability Detection for Solana Smart Contracts.

Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang

Browse the full CCS paper archive.