Li Li

According to our database, Li Li authored at least 12 papers between 2014 and 2020.

Collaborative distances:

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

2020

An empirical study of potentially malicious third-party libraries in Android apps.

Zicheng Zhang, Wenrui Diao, Chengyu Hu, Shanqing Guo, Chaoshun Zuo, Li Li

Proceedings of the WiSec '20: 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2020

2018

A Formal Specification and Verification Framework for Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong

IEEE Trans. Software Eng., 2018

2017

Automatic loop-invariant generation and refinement through selective sampling.

Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Verification Framework for Stateful Security Protocols.

Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Automated Verification of Timed Security Protocols with Clock Drift.

Li Li, Jun Sun, Jin Song Dong

Proceedings of the FM 2016: Formal Methods, 2016

2015

All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android.

Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Verifying Parameterized Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the FM 2015: Formal Methods, 2015

2014

Stateful Security Protocol Verification.

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong

CoRR, 2014

Automatic Verification for Later-Correspondence of Security Protocols.

Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

TAuth: Verifying Timed Security Protocols.

Li Li, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

Practical Analysis Framework for Software-Based Attestation Scheme.

Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2014

Symbolic Analysis of an Electric Vehicle Charging Protocol.

Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014