Xiaojuan Cai

I am a lecturer in School of Software at Shanghai Jiao Tong University. I received my Ph.D degree in Computer Science from Shanghai Jiao Tong University in 2009.

Email: cxj (at) sjtu.edu.cn

Office: School of Software, Shanghai Jiao Tong University
1210 Software Building, 800 Dongchuan Road, Shanghai 200240, China

Tel: +86 (21) 34204170

Web: http://basics.sjtu.edu.cn/~xiaojuan/

Research Interests

My research interests include expressiveness of process calculi, formal analysis of security protocols, and program analysis.

Teaching

Summer semester 2011/2012. Algorithms (for Engineering master students)
Winter semester 2011/2012. Algorithms: Design Techniques and Analysis (for Undergraduates)
Summer semester 2010/2011. C++ Programming Lanuage(for Undergraduates)

Seminars

Spring 2012. Programming Language Group Seminar

Selected Papers

Xiaojuan Cai. The Expressivness of Pi Calculus via Programming . Phd Thesis. Shanghai Jiao Tong University. 2009.

Xiaojuan Cai and Yuxi Fu. The Lambda Calculus in the Pi Calculus . Mathematical Structures in Computer Science, Vol. 21, pp. 1--54, 2011.

Xiaojuan Cai. A Pure Labeled Transition Semantics for the Applied Pi Calculus. Information Sciences. Vol.180, pp.4436-4458, 2010.

Guoqiang Li, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum (APDCM'10 @ IPDPS'10) , IEEE Society, pp. 1-8, 2010

Xiaojuan Cai and Han Zhu. Applying a Testing Approach to the Calculus of Fair Ambients. International Journal of Computer Mathematics. Vol.86, No.12, pp.2040-2060. 2009.

Xiaojuan Cai and Yonggen Gu. Measuring Anonymity . In Proceedings of the 5th Information Security Practice and Experience Conference(ISPEC 2009), Lecture Notes in Computer Science, vol. 5451, pp. 183-194, 2009.

Xiaojuan Cai. Measuring Anonymous Systems in the Probabilistic Applied Pi Calculus . In Proceedings of the 9th International Conference on Computational Science and Its Applications(ICCSA 2009), Lecture Notes in Computer Science, Vol. 5593, pp. 614 - 629, 2009.

Zhengqin Luo, Xiaojuan Cai, Jun Pang, and Yuxin Deng. Analyzing an Electronic Cash Protocol using Applied Pi Calculus . In Proceedings of the 5th Interna- tional Conference on Applied Cryptography and Network Security (ACNS 2007). Lecture Notes in Computer Science, vol. 4521, pp. 87-103. Springer, 2007.

Lin Song, Yuxin Deng, and Xiaojuan Cai. Towards Automatic Measurement of Probabilistic Processes . In Proceedings of the 7th International Conference on Quality Software (QSIC 2007), pp. 50-59, 2007.

Miscellaneous Links

Last updated: August 2, 2011