ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications. - Zhang, Wuqi; Wei, Lili; Li, Shuqing; Liu, Yepang; Cheung, Shing-Chi (CoRR, 2021)