| 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 | 39 | 2017 |
| 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 | 24 | 2017 |
| 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 | 22 | 2015 |
| Practical analysis framework for software-based attestation scheme L Li, H Hu, J Sun, Y Liu, JS Dong Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 11 | 2014 |
| Verifying parameterized timed security protocols L Li, J Sun, Y Liu, JS Dong FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 8 | 2015 |
| 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 | 7 | 2014 |
| Tauth: Verifying timed security protocols L Li, J Sun, Y Liu, JS Dong Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 6 | 2014 |
| New timed-release encryption based on indistinguishability obfuscation T Wang, Y He, L Li Application Research of Computers 34 (9), 2795-2798, 2017 | 5 | 2017 |
| Automated verification of timed security protocols with clock drift L Li, J Sun, JS Dong International Symposium on Formal Methods, 513-530, 2016 | 5 | 2016 |
| Stateful security protocol verification L Li, J Pang, Y Liu, J Sun, JS Dong arXiv preprint arXiv:1403.2237, 2014 | 3 | 2014 |
| 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 | 2 | 2009 |
| A verification framework for stateful security protocols L Li, N Dong, J Pang, J Sun, G Bai, Y Liu, JS Dong Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 1 | 2017 |
| 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 | 1 | 2014 |
