fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup. - Zihao Li 001; Xinghao Peng; Zheyuan He; Xiapu Luo; Ting Chen 002 (CCS, 2024)

DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back. - Zhiyuan Sun; Zihao Li 001; Xinghao Peng; Xiapu Luo; Muhui Jiang; Hao Zhou 009; Yinqian Zhang (CCS, 2024)

PEBTrack: A Performance-Efficiency Balance Tracker for Aerial Scenario. - Xuesen Ma; Xiuxuan Yu; Xinghao Peng (ICONIP (8), 2024)

ConsCS: Effective and Efficient Verification of Circom Circuits. - Jinan Jiang; Xinghao Peng; Jinzhao Chu; Xiapu Luo (ICSE, 2025)