1. Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol;Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security;2014-11-03
2. Informal specification-based performance evaluation of security protocols;2008 4th International Conference on Intelligent Computer Communication and Processing;2008-08
3. Term-Based Composition of Security Protocols;2008 IEEE International Conference on Automation, Quality and Testing, Robotics;2008-05