| Generalized bisimulation metrics K Chatzikokolakis, D Gebler, C Palamidessi, L Xu International Conference on Concurrency Theory, 32-46, 2014 | 49 | 2014 |
| Metrics for differential privacy in concurrent systems L Xu, K Chatzikokolakis, H Lin International Conference on Formal Techniques for Distributed Objects …, 2014 | 20 | 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 | 3 | 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 | | |
Konstantinos ChatzikokolakisUniversity of Athens (on leave from CNRS)Verified email at di.uoa.gr
