Follow
Levi Taiji Li
Levi Taiji Li
Ph.D. student, University of Utah
Verified email at cs.utah.edu
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3