Följ
Levi Taiji Li
Levi Taiji Li
Ph.D. student, University of Utah
Verifierad e-postadress på cs.utah.edu
Titel
Citeras av
Citeras av
År
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
Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts
LT Li, M Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
2022
VETEOS: Statically Vetting EOSIO Contracts for the “Groundhog Day” Vulnerabilities
LT Li, N He, H Wang, M Zhang
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3