Folgen
Levi Taiji Li
Levi Taiji Li
Ph.D. student, University of Utah
Bestätigte E-Mail-Adresse bei cs.utah.edu
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3