Kundu Chen

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

Publications

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen
Securing Aptos Framework with Formal Verification. FMBC@CAV (2024)
Kundu Chen, Jie Luo
Lifeline Consensus: Protect Small-scale Blockchain From Typical Attacks. IWCMC (2023)
Kundu Chen, Jie Luo
Pooling Under the Sun: A Mining Pool Centralized Revisit and Solution. TrustCom (2023)