VRust: Automated Vulnerability Detection for Solana Smart Contracts. - Siwei Cui; Gang Zhao; Yifei Gao; Tien Tavu; Jeff Huang 001 (CCS, 2022)