Підписатись
Zhiyang Chen
Zhiyang Chen
PhD student, University of Toronto
Підтверджена електронна адреса в cs.toronto.edu - Домашня сторінка
Назва
Посилання
Посилання
Рік
Interpretable program synthesis
T Zhang, Z Chen, Y Zhu, P Vaithilingam, X Wang, EL Glassman
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021
332021
FlashSyn: Flash loan attack synthesis via counter example driven approximation
Z Chen, SM Beillahi, F Long
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
262024
Demystifying invariant effectiveness for securing smart contracts
Z Chen, Y Liu, SM Beillahi, Y Li, F Long
Proceedings of the ACM on Software Engineering 1 (FSE), 1772-1795, 2024
102024
Sequencer Level Security
M Derka, J Gorzny, D Siqueira, D Pellegrino, M Guggenmos, Z Chen
arXiv preprint arXiv:2405.01819, 2024
12024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Z Chen, Y Liu, SM Beillahi, Y Li, F Long
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
2024
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
Z Chen, J Gorzny, M Derka
arXiv preprint arXiv:2408.14621, 2024
2024
Demystifying the Characteristics for Smart Contract Upgrades
Y Liu, S Li, X Wu, Y Li, Z Chen, D Lo
arXiv preprint arXiv:2406.05712, 2024
2024
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–7