Следене
Yu Pan
Yu Pan
University of Utah
Потвърден имейл адрес: cs.utah.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Towards automated safety vetting of smart contracts in decentralized applications
Y Duan, X Zhao, Y Pan, S Li, M Li, F Xu, M Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
112022
Automated generation of security-centric descriptions for smart contract bytecode
Y Pan, Z Xu, LT Li, Y Yang, M Zhang
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
12023
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–2