Levi Taiji Li

According to our database, Levi Taiji Li authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities.

Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

2023

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.

Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts.

Levi Taiji Li, Mu Zhang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022