Lili Xu
Lili Xu
Institute of Information Engineering, Chinese Academy of Sciences and Ecole Polytechnique
Verified email at
Cited by
Cited by
Generalized bisimulation metrics
K Chatzikokolakis, D Gebler, C Palamidessi, L Xu
International Conference on Concurrency Theory, 32-46, 2014
Metrics for differential privacy in concurrent systems
L Xu, K Chatzikokolakis, H Lin
International Conference on Formal Techniques for Distributed Objects …, 2014
Modular reasoning about differential privacy in a probabilistic process calculus
L Xu
International Symposium on Trustworthy Global Computing, 198-212, 2012
1dVul: Discovering 1-Day Vulnerabilities through Binary Patches
J Peng, F Li, B Liu, L Xu, B Liu, K Chen, W Huo
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
Formal verification of differential privacy in concurrent systems
L Xu
Performance Optimization of Large Files Writes to Ceph Based on Multiple Pipelines Algorithm
K Zhan, L Xu, Z Yuan, W Zhang
2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications …, 2018
Complete proof systems for amortised probabilistic bisimulations
LL Xu, HM Lin
Journal of Computer Science and Technology 31 (2), 300-316, 2016
A Light-Weight and Accurate Method of Static Integer-Overflow-to-Buffer-Overflow Vulnerability Detection
M Xu, S Li, L Xu, F Li, W Huo, J Ma, X Li, Q Huang
International Conference on Information Security and Cryptology, 404-423, 2018
LL Xu, HM Lin
计算机科学技术学报 31 (2), 300-316, 2016
A Multiplicative Variant of the Kantorovich distance for Differential Privacy
L Xu, K Chatzikokolakis, C Palamidessi
The system can't perform the operation now. Try again later.
Articles 1–10