We stand with Ukraine  

Zhiyang Chen

Orcid: 0000-0002-2315-397X

Affiliations:
  • University of Toronto, ON, Canada


According to our database1, Zhiyang Chen authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Demystifying Invariant Effectiveness for Securing Smart Contracts.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Zhiyang Chen
,
Jan Gorzny
,
Martin Derka
CoRR, 2024

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
[BibTeX]
[DOI]
Zhiyang Chen
,
Ye Liu
,
Sidi Mohamed Beillahi
,
Yi Li
,
Fan Long
CoRR, 2024

Demystifying the Characteristics for Smart Contract Upgrades.
[BibTeX]
[DOI]
Ye Liu
,
Shuo Li
,
Xiuheng Wu
,
Yi Li
,
Zhiyang Chen
,
David Lo
CoRR, 2024

Sequencer Level Security.
[BibTeX]
[DOI]
Martin Derka
,
Jan Gorzny
,
Diego Siqueira
,
Donato Pellegrino
,
Marius Guggenmos
,
Zhiyang Chen
CoRR, 2024

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
[BibTeX]
[DOI]
Zhiyang Chen
,
Sidi Mohamed Beillahi
,
Fan Long
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2021
Interpretable Program Synthesis.
[BibTeX]
[DOI]
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


  Loading...