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
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
172015
Glial cell-derived neurotrophic factor attenuates neuropathic pain in a mouse model of chronic constriction injury: possible involvement of E-cadherin/p120ctn signaling
C Wang, H Wang, J Pang, L Li, S Zhang, G Song, N Li, J Cao, L Zhang
Journal of Molecular Neuroscience 54 (2), 156-163, 2014
172014
Towards a denotational semantics of Timed RSL using Duration Calculus
L Li
Journal of Computer Science and Technology 16 (1), 64-76, 2001
172001
A denotational semantics of timed RSL using duration calculus
L Li, H Jifeng
Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999
171999
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
102017
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
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
92017
Verifying parameterized timed security protocols
L Li, J Sun, Y Liu, JS Dong
International Symposium on Formal Methods, 342-359, 2015
62015
Tauth: Verifying timed security protocols
L Li, J Sun, Y Liu, JS Dong
International Conference on Formal Engineering Methods, 300-315, 2014
62014
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
42014
Automated Verification of Timed Security Protocols with Clock Drift
L Li, J Sun, JS Dong
International Symposium on Formal Methods, 513-530, 2016
12016
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
Stateful security protocol verification
L Li, J Pang, Y Liu, J Sun, JS Dong
arXiv preprint arXiv:1403.2237, 2014
12014
Workflow model based on colored and timed Petri nets
L Li, X Yue, B Yan, K Zhou
2011 International Conference on Consumer Electronics, Communications and …, 2011
12011
The Data Structure Based on the PCB Verifying and the Blocking Algorithm for It
FYLYG Ning, LTL Li
Computer Engineering and Applications 23, 2004
12004
A verification framework for stateful security protocols.(2017)
L LI, N DONG, J PANG, J SUN, G BAI, Y LIU, JS DONG
Formal Methods and Software Engineering: 19th International Conference on …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–16