Lili Xu
Lili Xu
Institute of Information Engineering, Chinese Academy of Sciences and Ecole Polytechnique
Geverifieerd e-mailadres voor lix.polytechnique.fr
Titel
Geciteerd door
Geciteerd door
Jaar
Generalized bisimulation metrics
K Chatzikokolakis, D Gebler, C Palamidessi, L Xu
International Conference on Concurrency Theory, 32-46, 2014
472014
Metrics for differential privacy in concurrent systems
L Xu, K Chatzikokolakis, H Lin
International Conference on Formal Techniques for Distributed Objects …, 2014
202014
Modular reasoning about differential privacy in a probabilistic process calculus
L Xu
International Symposium on Trustworthy Global Computing, 198-212, 2012
62012
Formal verification of differential privacy in concurrent systems
L Xu
32015
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
22019
Complete proof systems for amortised probabilistic bisimulations
LL Xu, HM Lin
Journal of Computer Science and Technology 31 (2), 300-316, 2016
12016
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
2018
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
2018
分摊概率互模拟的完备证明系统
LL Xu, HM Lin
计算机科学技术学报 31 (2), 300-316, 2016
2016
A Multiplicative Variant of the Kantorovich distance for Differential Privacy
L Xu, K Chatzikokolakis, C Palamidessi
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10