个人简介

教育背景 09/1991-07/1995重庆师范大学数学和计算机科学系，1995年7月获应用数学专业理学学士学位 09/1995-07/1998成都电子科技大学应用数学学院，1998年7月获应用数学专业理学硕士学位 09/1998-06/2003成都电子科技大学计算机科学与工程学院，2003年6月获计算机应用专业博士学位 09/2003-07/2005中国电子科技集团公司第30研究所，国防科技国家重点实验室，博士后，研究方向：密码协议的形式化分析，博士后出站工作报告：密码协议的形式化分析方法研究（4位专家评审全优） 主要科研项目 1.国家自然科学基金地区基金项目，61363084，新型组密钥分发协议和广播加密协议研究，2014/01-2017/12，46万元，已结题，主持。 2.国家自然科学基金面上项目，61173189，云计算模式下数据安全和隐私保护关键密码理论研究，2012/01-2015/12，52万元，已结题，排名第二。