Checking Smart Contract Vulnerabilities in Blockchain-based Internet of Drones. - Xiaohai Ji; Zequan Zhou; Ting He; Xiling Luo; Junjun Wang; Zhiqin Huo (ICAICE, 2024)