Login / Signup
Levi Taiji Li
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Flow Analysis
Java Card
Security Problems
Countermeasures
Top Venues
ISSTA
CCS
</>
Publications
</>
Yu Pan
,
Zhichao Xu
,
Levi Taiji Li
,
Yunhe Yang
,
Mu Zhang
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.
ISSTA
(2023)
Levi Taiji Li
,
Mu Zhang
Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts.
CCS
(2022)