Symbolic Analysis of an Electric Vehicle Charging Protocol. - Li Li 044; Jun Pang 001; Yang Liu 003; Jun Sun 001; Jin Song Dong (ICECCS, 2014)

Practical Analysis Framework for Software-Based Attestation Scheme. - Li Li 044; Hong Hu 004; Jun Sun 001; Yang Liu 003; Jin Song Dong (ICFEM, 2014)

TAuth: Verifying Timed Security Protocols. - Li Li 044; Jun Sun 001; Yang Liu 003; Jin Song Dong (ICFEM, 2014)

Automatic Verification for Later-Correspondence of Security Protocols. - Xiaofei Xie; Xiaohong Li 001; Yang Liu 003; Li Li 044; Ruitao Feng; Zhiyong Feng 002 (SOFL+MSVL, 2014)

Stateful Security Protocol Verification. - Li Li 044; Jun Pang 001; Yang Liu 003; Jun Sun 001; Jin Song Dong (CoRR, 2014)

Verifying Parameterized Timed Security Protocols. - Li Li 044; Jun Sun 001; Yang Liu 003; Jin Song Dong (FM, 2015)

All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. - Guangdong Bai; Jun Sun 001; Jianliang Wu 002; Quanqi Ye; Li Li 044; Jin Song Dong; Shanqing Guo (ICECCS, 2015)

Automated Verification of Timed Security Protocols with Clock Drift. - Li Li 044; Jun Sun 001; Jin Song Dong (FM, 2016)

A Verification Framework for Stateful Security Protocols. - Li Li 044; Naipeng Dong; Jun Pang 001; Jun Sun 001; Guangdong Bai; Yang Liu 003; Jin Song Dong (ICFEM, 2017)

Automatic loop-invariant generation and refinement through selective sampling. - Jiaying Li 001; Jun Sun 001; Li Li 044; Quang Loc Le; Shang-Wei Lin 001 (ASE, 2017)

A Formal Specification and Verification Framework for Timed Security Protocols. - Li Li 044; Jun Sun 001; Yang Liu 003; Meng Sun 002; Jin Song Dong (IEEE Trans. Software Eng., 2018)

An empirical study of potentially malicious third-party libraries in Android apps. - Zicheng Zhang; Wenrui Diao; Chengyu Hu; Shanqing Guo; Chaoshun Zuo; Li Li 044 (WISEC, 2020)