热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
梁之遥
2023-05-05 15:17
  • 梁之遥
  • 梁之遥 - 助理教授-澳门科技大学-资讯科技学院-个人资料

近期热点

资料介绍

个人简历


Academic Qualification:
Ph.D. in Computer Science, Houston University, USA, 2008
Master in Computer Science, The University of Texas at Austin, USA, 2001
Bachelor in Computer Science and Engineering, National University of Defense Technology, China, 1996
Teaching Area
Data Structures
Fundamentals of Computer Programming
Working Experience
2010 to present: Assistant Professor, FIT, MUST
2009: Postdoctoral Fellow, LDCSEE Department, West Virginial University, USA

研究领域


Formal Methods
Information Security
Theory of Computation and Algorithms""

近期论文


Zhiyao Liang and Rakesh Verma, “Correcting and Improving the NP Proof of Cryptographic Protocol Insecurity”, to appear in Proceedings of Information Systems Security, 5th International Conference, ICISS 2009, pages 101-116, Kolkata, India, LNCS, December, 2009.
Zhiyao Liang and Rakesh Verma, “Complexity of Checking Freshness for Cryptographic Protocols”, In Proceedings of Information Systems Security, 4th International Conference, ICISS 2008, pages 86-106, Hyderabad, India, LNCS, December, 2008.
Zhiyao Liang and Rakesh Verma, “Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols”, In Proceedings of The Third International Conference on Availability, Reliability and Security, ARES, pages 1067-1074, Barcelona, Spain, IEEE, March, 200.
Zhiyao Liang and Rakesh Verma, “Secrecy Checking of Security Protocols: Solution to an Open Problem”, Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, FCS-ARSPA, pages 95-112, Wroclaw, Poland, July, 2007.
“Model Checking Using Tabled Rewriting”, Zhiyao Liang, Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, IJCAR Doctoral Programme, Cork, Ireland, July 2004.
Member of IEEE, 2005 to present

相关热点

扫码添加好友