实验室重点围绕安全协议基础理论和应用的前沿性、前瞻性问题展开研究，取得了国际上有影响的理论成果和重要的应用成果，丰富了安全协议的研究理论与方法。在零知识证明理论方面取得了突破性进展，解决了若干公开核心问题。在零知识证明应用研究方面，发展了移动网络漫游、跨域口令和匿名等场景下认证密钥交换协议的可证明安全性理论，提出了新的设计理论和分析方法。主要成果包括：
提出了实例依赖的可验证随机函数、实例依赖的证据不可区分论证系统等系列具有原创性的密码学工具，并通过引入了新的非黑盒模拟策略，彻底解决了双重可重置猜想这个具有近10年历史的国际公开问题；解决了在标准困难问题假设下，纯公钥模型中对NP语言的常数轮双重可重置零知识论证系统的存在性问题；首次在不需要可信第三方的模型中实现了高效的并发非延展零知识证明系统；提出了基于智能卡的移动漫游场景下匿名认证密钥交换协议新的设计方法，并首次给出了可证明安全的一般性构造框架；证明了针对跨域口令认证密钥交换协议的一个普适性结果，从而终结了在对称密钥机制下这类协议的安全性构造；提出了公平认证密钥交换的思想，建立了公平认证密钥交换协议的安全模型，设计了以并发签名作为基础构件的公平认证密钥交换协议。
重要结果发表在FOCS,Eurocrypt,Asiacrypt,PKC等国际顶级会议上。近５年来共发表相关论文195篇,其中SCI收录45篇、EI收录123篇，专著１部。
项目成果