Follow
Li Li
Li Li
PhD of School of Computing, National University of Sigapore
Verified email at comp.nus.edu.sg
Title
Cited by
Cited by
Year
Automatic loop-invariant generation anc refinement through selective sampling
J Li, J Sun, L Li, QL Le, SW Lin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
252017
All your sessions are belong to us: Investigating authenticator leakage through backup channels on android
G Bai, J Sun, J Wu, Q Ye, L Li, JS Dong, S Guo
2015 20th International Conference on Engineering of Complex Computer …, 2015
212015
A formal specification and verification framework for timed security protocols
L Li, J Sun, Y Liu, M Sun, JS Dong
IEEE Transactions on Software Engineering 44 (8), 725-746, 2017
172017
Practical analysis framework for software-based attestation scheme
L Li, H Hu, J Sun, Y Liu, JS Dong
International Conference on Formal Engineering Methods, 284-299, 2014
102014
Verifying parameterized timed security protocols
L Li, J Sun, Y Liu, JS Dong
International Symposium on Formal Methods, 342-359, 2015
82015
Symbolic analysis of an electric vehicle charging protocol
L Li, J Pang, Y Liu, J Sun, JS Dong
2014 19th International Conference on Engineering of Complex Computer …, 2014
72014
Tauth: Verifying timed security protocols
L Li, J Sun, Y Liu, JS Dong
International Conference on Formal Engineering Methods, 300-315, 2014
62014
New timed-release encryption based on indistinguishability obfuscation
T Wang, Y He, L Li
Application Research of Computers 34 (9), 2795-2798, 2017
52017
Automated verification of timed security protocols with clock drift
L Li, J Sun, JS Dong
International Symposium on Formal Methods, 513-530, 2016
32016
Stateful security protocol verification
L Li, J Pang, Y Liu, J Sun, JS Dong
arXiv preprint arXiv:1403.2237, 2014
32014
Multi-agent Scheduling System Modeling and Simulation Based on Hierarchical Timed Colored Petri Net
DS Zhai, LJ Chai, L Li
2009 International Conference on Web Information Systems and Mining, 423-426, 2009
22009
A verification framework for stateful security protocols
L Li, N Dong, J Pang, J Sun, G Bai, Y Liu, JS Dong
International Conference on Formal Engineering Methods, 262-280, 2017
12017
Automatic verification for later-correspondence of security protocols
X Xie, X Li, Y Liu, L Li, R Feng, Z Feng
International Workshop on Structured Object-Oriented Formal Language and …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–13