Li Li

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Topics

Automated Design

Security Protocols

Cryptographic Algorithms

Artificial Immune Algorithm

Top Venues

Publications

Zicheng Zhang, Wenrui Diao, Chengyu Hu, Shanqing Guo, Chaoshun Zuo, Li Li
An empirical study of potentially malicious third-party libraries in Android apps. WISEC (2020)
Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44 (8) (2018)
Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
A Verification Framework for Stateful Security Protocols. ICFEM (2017)
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
Automatic loop-invariant generation and refinement through selective sampling. ASE (2017)
Li Li, Jun Sun, Jin Song Dong
Automated Verification of Timed Security Protocols with Clock Drift. FM (2016)
Li Li, Jun Sun, Yang Liu, Jin Song Dong
Verifying Parameterized Timed Security Protocols. FM (2015)
Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS (2015)
Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS (2014)
Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
Stateful Security Protocol Verification. CoRR (2014)
Li Li, Jun Sun, Yang Liu, Jin Song Dong
TAuth: Verifying Timed Security Protocols. ICFEM (2014)
Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng
Automatic Verification for Later-Correspondence of Security Protocols. SOFL+MSVL (2014)
Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM (2014)