- Short Vita
- Research Interests
My major current research focus is on the Design and Automatic Analysis Technology for Privacy Protocol Based on Big Data, which aim at providing foundations for high efficiency privacy protocol design in the cloud computing.
- Teaching
- Awards & Projects
2012 Research on Automatic Analysis and Verification of Privacy Protocol based on Cloud Computing
2008 Research on Automatic Analysis and Verification of Secret-sharing Protocol
- Recent Professional Activities