Seguir
Yu Pan
Yu Pan
University of Utah
Dirección de correo verificada de cs.utah.edu - Página principal
Título
Citado por
Citado por
Año
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
122022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2