Kundu Chen

According to our database, Kundu Chen authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Principle of Staking: Formal Verification of Staking Smart Contract.

Zhongyun Zhang, Kundu Chen, Weiqi Guo, Wenbo Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

The Formal Verification of Aptos Coin.

Kundu Chen, Jie Luo, Yi Lu, Zhongyun Zhang, Wenbo Zhang, Xudong Wang, Pan Li, Jun Zhao

Proceedings of the Information Security - 27th International Conference, 2024

Securing Aptos Framework with Formal Verification.

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Pooling Under the Sun: A Mining Pool Centralized Revisit and Solution.

Kundu Chen, Jie Luo

Proceedings of the 22nd IEEE International Conference on Trust, 2023

Lifeline Consensus: Protect Small-scale Blockchain From Typical Attacks.

Kundu Chen, Jie Luo

Proceedings of the International Wireless Communications and Mobile Computing, 2023