Lifeline Consensus: Protect Small-scale Blockchain From Typical Attacks. - Kundu Chen; Jie Luo (IWCMC, 2023)

Pooling Under the Sun: A Mining Pool Centralized Revisit and Solution. - Kundu Chen; Jie Luo (TrustCom, 2023)

Securing Aptos Framework with Formal Verification. - Junkil Park; Teng Zhang; Wolfgang Grieskamp; Meng Xu; Gerardo Di Giacomo; Kundu Chen; Yi Lu; Robert Chen (FMBC@CAV, 2024)

The Formal Verification of Aptos Coin. - Kundu Chen; Jie Luo; Yi Lu; Zhongyun Zhang; Wenbo Zhang; Xudong Wang; Pan Li; Jun Zhao (ISC (1), 2024)

The Principle of Staking: Formal Verification of Staking Smart Contract. - Zhongyun Zhang; Kundu Chen; Weiqi Guo; Wenbo Zhang 004 (SETTA, 2024)

zkRPC: Trustless Bitcoin data availability network. - Kundu Chen; Jie Luo 004 (Comput. Networks, 2025)