Zhiyang Chen

According to our database, Zhiyang Chen authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains.

Zhiyang Chen, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino, Martin Derka

Proceedings of the 7th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2025

Sequencer Level Security.

Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen

Proceedings of the 2025 IEEE International Conference on Blockchain and Cryptocurrency, 2025

2024

Demystifying Invariant Effectiveness for Securing Smart Contracts.

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long

Proc. ACM Softw. Eng., 2024

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.

Zhiyang Chen, Jan Gorzny, Martin Derka

CoRR, 2024

Demystifying the Characteristics for Smart Contract Upgrades.

Ye Liu, Shuo Li, Xiuheng Wu, Yi Li, Zhiyang Chen, David Lo

CoRR, 2024

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2021

Interpretable Program Synthesis.

Tianyi Zhang, Zhiyang Chen, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021