Lili XU

I am a PhD student at LIX, Ecole Polytechnique, Pairs, FRANCE, and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China.  I am co-supervised by Prof. Huimin Lin and Prof. Catuscia Palamidessi .

Research interests

Publications

• Lili Xu and Huimin Lin. Complete Proof Systems for Amortised Probabilistic Bisimulations. Technical Report ISCAS-SKLCS-14-17, 2014.
  

• Konstantinos Chatzikokolakis, Daniel Gebler, Catusica Palamidessi, and Lili Xu. Generalized bisimulation metrics. In Proc. of CONCUR, volume 8704 of LNCS, pages 32-46. Springer, 2014. [slides] [pdf] [Bib]
  

• Lili Xu, Konstantinos Chatzikokolakis, and Huimin Lin. Metrics for differential privacy in concurrent systems. In Proc. of FORTE, volume 8461 of LNCS, pages 199-215. Springer, 2014. [slides] [pdf] [Bib]
  

• Lili Xu. Modular reasoning about differential privacy in a probabilistic process calculus. In 7th International Symposium on Trustworthy Global Computing (TGC), Newcastle upon Tyne, United Kingdom, volume 8191 of LNCS, pages 198-212. Springer, 2012. [pdf] [Bib]
  

Workshops

• A Multiplicative Variant of the Kantorovich distance for Differential Privacy [slides] [extended abstract].
Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), Grenoble, France, April 12-13, at ETAPS 2014.

• Metrics for differential privacy in concurrent systems [slides] [pdf] .
2nd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2014), affiliated with ETAPS 2014 , 5th April 2014 in Grenoble, France.

• Metrics for differential privacy in concurrent systems [slides].
First Workshop of ANR-NSFC project LOCALI, (LOCALI 2013).

• Modular reasoning about differential privacy in a probabilistic process calculus.
Atelier Protection de la Vie Privee, (APVP 2012).

Contacts

• Email: xulili912 at gmail.com
• Addr. in FRANCE
    INRIA Saclay and LIX 
    Bâtiment Alan Turing
    rue Honoré d'Estienne d'Orves
    Campus de l'École Polytechnique,
    91120 Palaiseau, FRANCE
• Addr. in CHINA
    State Key Laboratory of Computer Science
    Institute of Software, Chinese Academy of Sciences
    P.O.Box 8718
    4# South Fourth Street, Zhong Guan Cun
    Beijing 100190
    P.R.China