Generalized bisimulation metrics K Chatzikokolakis, D Gebler, C Palamidessi, L Xu International Conference on Concurrency Theory, 32-46, 2014 | 52 | 2014 |
Metrics for differential privacy in concurrent systems L Xu, K Chatzikokolakis, H Lin International Conference on Formal Techniques for Distributed Objects …, 2014 | 19 | 2014 |
Modular reasoning about differential privacy in a probabilistic process calculus L Xu International Symposium on Trustworthy Global Computing, 198-212, 2012 | 7 | 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 | 3 | 2019 |
Formal verification of differential privacy in concurrent systems L Xu | 2 | 2015 |
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 | 1 | 2018 |
Complete proof systems for amortised probabilistic bisimulations LL Xu, HM Lin Journal of Computer Science and Technology 31 (2), 300-316, 2016 | 1 | 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 | | 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 | | |