Levi Taiji Li

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

Collaborative distances:

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

2025

ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems.

Md. Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, Mu Zhang

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

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