Li Li

13 papers A* 1B 4C 3Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Software Architecture Recovery Augmented With Semantics.
IEEE Trans. Software Eng.
Wenting Zhao, Wuxia Jin, Yiran Zhang, Ming Fan, Haijun Wang, Li Li, Yang Liu, Ting Liu
2020 — conf
An empirical study of potentially malicious third-party libraries in Android apps.
WISEC
Zicheng Zhang, Wenrui Diao, Chengyu Hu, Shanqing Guo, Chaoshun Zuo, Li Li
2018 J jnl
A Formal Specification and Verification Framework for Timed Security Protocols.
IEEE Trans. Software Eng.
Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
2017 C conf
A Verification Framework for Stateful Security Protocols.
ICFEM
Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
2017 A* conf
Automatic loop-invariant generation and refinement through selective sampling.
ASE
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
2016 B conf
Automated Verification of Timed Security Protocols with Clock Drift.
FM
Li Li, Jun Sun, Jin Song Dong
2015 B conf
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android.
ICECCS
Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo
2015 B conf
Verifying Parameterized Timed Security Protocols.
FM
Li Li, Jun Sun, Yang Liu, Jin Song Dong
2014 — conf
Automatic Verification for Later-Correspondence of Security Protocols.
SOFL+MSVL
Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng
2014 C conf
Practical Analysis Framework for Software-Based Attestation Scheme.
ICFEM
Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong
2014 J jnl
Stateful Security Protocol Verification.
CoRR
Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2014 B conf
Symbolic Analysis of an Electric Vehicle Charging Protocol.
ICECCS
Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2014 C conf
TAuth: Verifying Timed Security Protocols.
ICFEM
Li Li, Jun Sun, Yang Liu, Jin Song Dong