Towards Automatic Discovery of Denial of Service Weaknesses in Blockchain Resource Models. - Feng Luo; Huangkun Lin; Zihao Li 001; Xiapu Luo; Ruijie Luo; Zheyuan He; Shuwei Song; Ting Chen 002; Wenxuan Luo (CCS, 2024)