Zhiyang Chen

13 papers A* 3C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains.
WETSEB
Zhiyang Chen, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino, Martin Derka
2025 — conf
Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security.
SANER-C
Zhiyang Chen, Jan Gorzny, Martin Derka
2025 C conf
Sequencer Level Security.
ICBC
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2024 J jnl
Demystifying Invariant Effectiveness for Securing Smart Contracts.
CoRR
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024 J jnl
Demystifying Invariant Effectiveness for Securing Smart Contracts.
Proc. ACM Softw. Eng.
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024 J jnl
Demystifying the Characteristics for Smart Contract Upgrades.
CoRR
Ye Liu, Shuo Li, Xiuheng Wu, Yi Li, Zhiyang Chen, David Lo
2024 A* conf
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
ICSE
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
2024 J jnl
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.
CoRR
Zhiyang Chen, Jan Gorzny, Martin Derka
2024 A* conf
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
ASE
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024 J jnl
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
CoRR
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024 J jnl
Sequencer Level Security.
CoRR
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2022 J jnl
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
CoRR
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
2021 A* conf
Interpretable Program Synthesis.
CHI
Tianyi Zhang, Zhiyang Chen, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman