Jia Liu

Research Fellow in Computer Security
Supervised by Prof Mark Ryan

School of Computer Science
University of Birmingham

Research interests

• Verification of protocols

• Trusted computing

Publications

Journals

• Jia Liu and Huimin Lin. A complete symbolic bisimulation for full applied pi calculus. Theoretical Computer Science 458 (2012) 76–112, doi:10.1016/j.tcs.2012.07.034.

Conferences

• Jia Liu and Huimin Lin. Proof system for applied pi calculus. In TCS 2010, IFIP AICT 323, pp. 229–243, 2010.[Bibtex] [Full Version]

• Jia Liu and Huimin Lin. A complete symbolic bisimulation for full applied pi calculus. In SOFSEM '10: Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, pages 552--563, Berlin, Heidelberg, 2010. Springer-Verlag. [Bibtex]