应用密码学、安全协议、数据安全

083900-网络空间安全

密码学与安全协议
可信计算与信息保障

2014-03~现在, 中国科学院软件研究所, 研究员，博士生导师
2011-10~2014-03,中国科学院信息工程研究所, 研究员, 博士生导师

2023-01-01-2026-12-31,电子与信息学报, 编委
2022-12-09-2026-12-09,中国密码学会安全协议专业委员会, 副主任
2020-02-27-2024-02-27,密码学报, 编委
2019-12-17-2023-12-01,中国密码学会区块链专业委员会, 委员
2014-05-01-2018-05-01,中国密码学会青年工作委员会, 委员

密码协议原理与应用
网络空间安全概论
密码协议及其应用
安全协议与形式化方法
计算机通信网络安全

（1） 安全认证协议基础理论与方法研究，中国电子学会科学技术奖（自然科学）, 一等奖, 部委级, 2019

[1] 徐静, 尹铃元. 一种区块链交易验证方法和系统. CN: CN114900319B, 2023-08-01.
[2] 翟欣磊, 唐强, 卢振亮, 徐静, 张振峰, 郭兵勇. 在分布式网络环境中经由共识验证事务的通信系统和方法. CN: CN115956235A, 2023-04-11.
[3] 翟欣磊, 唐强, 卢振亮, 徐静, 张振峰, 郭兵勇. 用于在分布式通信中建立共识的系统和方法. CN: CN115552868A, 2022-12-30.
[4] 倪佩芳, 徐静, 冯登国. 一种轮依赖的分级共识方法及区块链共识协议构造方法. CN: CN114826581A, 2022-07-29.
[5] 张振峰, 路远, 程昊, 高英梓, 卢振亮, 唐强, 徐静. 一种数据广播与共识解耦的异步区块链共识方法和系统. CN: CN114710374A, 2022-07-05.
[6] 徐静, 窦涵月. 基于小规模委员会的区块链出块方法及PoS协议确认方法. 2022102158989, 2022-03-07.
[7] 徐静, 李新宇, 张振峰, 翟欣磊. 带标签的私钥可更新数字签名方法及其在PoS区块链协议中的应用. CN: CN110837659B, 2021-10-15.
[8] 徐静, 李新宇, 张振峰. 一种可刺穿的数字签名方法. CN: CN110034936A, 2019-07-19.

（1）GB/T 30275-2013,信息安全技术 鉴别与授权 认证中间件框架与接口规范

（2）GB/T 30269.601-2016,信息技术 传感器网络 第601部分：信息安全：通用技术规范

代表性学术论文

（1）Multiple Handshakes Security of TLS 1.3 Candidates, IEEE Symposium on Security & Privacy（四大安全顶会）, 2016, 通讯作者

（2）Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols. IEEE Transactions on Information Forensics and Security (CCF-A), 2020，通讯作者

（3）Horcrux: Synthesize, Split, Shift and Stay Alive Preventing Channel Depletion via Universal and Enhanced Multi-hop Payments, Network and Distributed System Security Symposium (NDSS，四大安全顶会), 2025, 通讯作者

（4）Dumbo: Faster Asynchronous BFT Protocols, ACM Conference on Computer and Communications Security (CCS，四大安全顶会), 2020, 第 4 作者

（5）Speeding Dumbo: Pushing Asynchronous BFT Closer to Practice, Network and Distributed System Security Symposium (NDSS，四大安全顶会), 2022, 第 4作者

（6）Accountable Proxy Re-encryption for Secure Data Sharing, IEEE Transactions on Dependable and Secure Computing (CCF-A), 2021, 通讯作者

（7）Sidechains with Fast Cross-chain Transfers, IEEE Transactions on Dependable and Secure Computing (CCF-A), 2022, 通讯作者

（8）Investigating the Multi-Ciphersuite and Backwards- Compatibility Security of the Upcoming TLS 1.3, IEEE Transactions on Dependable and Secure Computing (CCF-A), 2019, 通讯作者

（9）Escaping from Consensus: Instantly Redactable Blockchain Protocols in Permissionless Setting, IEEE Transactions on Dependable and Secure Computing (CCF-A),  2023, 通讯作者

（10）Sidechains with optimally succinct proof, IEEE Transactions on Dependable and Secure Computing (CCF-A),  2024, 通讯作者

（11）Dumbo-NG:Breaking down Asynchronous BFT Consensus to Approach the Physical Limit, ACM Conference on Computer and Communications Security (CCS，四大安全顶会), 2022, 第 4 作者

（12）Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network, ESORICS (CCF-B), 2019, 通讯作者

（13）Non-transferable Proxy Re-encryption，The Computer Journal (CCF-B), 2019, 第3作者

（14）Interopera: An Efficient Cross-Chain Trading Protocol，The Computer Journal (CCF-B), 2022, 通讯作者

（15）Modular Security Analysis of OAuth 2.0 in the Three-Party Setting. IEEE European Symposium on Security and Privacy (EuroS&P), 2020, 通讯作者

（16）Universally composable anonymous password authenticated key exchange, Science China Information Sciences (CCF-A), 2017, 第4作者

（17）Round-Optimal Password-based Group Key Exchange Protocols in the Standard Model,13th International Conference on Applied Cryptography and Network Security (ACNS), 2015, 第1作者

（18）Efficient Identity Based Strong Designated Verifier Signature Schemes, Security and Communication Networks, 2013，第2作者

（19）Revisiting the Security of Qian et al. Revised Tree-LSHB+ Protocol, Wireless Personal Communications, 2019，第2作者

（20）A Generic Framework for Anonymous Authentication in Mobile Networks, Journal of Computer Science and Technology，2013，第1作者

（21）Comments on the SM2 Key Exchange Protocol, International Conference on Cryptography and Network Security，2011，第1作者

（22）Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks, Computer Networks, 2011，第2作者

（23）An Efficient Location-Based Compromise-Tolerant Key Management Scheme for Sensor Networks, Information Processing Letters，2011，第2作者

（24）An Efficient Mutual Authentication and Key Agreement Protocol Preserving User Anonymity in Mobile Networks, Computer Communications，2011，第1作者

（25）A Generic Framework for Constructing Cross-Realm C2C-PAKA Protocols Based on the Smart Card, Concurrency and Computation: Practice and Experience，2011，第1作者

（26）Certificateless Public-Key Signature: Security Model and Efficient Construction, ACNS, 2006, 第 3 作者

（27）Identity Based Strong Designated Verifier Signature Scheme Withou Pairing, Security and Communication Networks，2013，第2作者

（1） 网络安全原理与技术，Network Security Principle and Technology，科学出版社，2010-09，第2作者

   

（ 1 ） 无线传感器网络密钥管理协议研究, 主持, 国家级, 2012-01--2015-12
（ 2 ） 国家重点基础研究发展计划, 参与, 国家级, 2013-01--2017-12
（ 3 ） 匿名认证协议的设计理论与分析方法研究, 主持, 国家级, 2016-01--2019-12
（ 4 ） 无线网络认证密钥交换协议研究, 主持, 国家级, 2009-01--2011-12
（ 5 ） 无线传感器网络密钥管理协议设计理论与分析方法研究, 主持, 研究所（学校）, 2012-06--2013-12
（ 6 ） 认证中间件框架与接口规范, 主持, 国家级, 2010-02--2011-12
（ 7 ） 基于格的抗量子计算公钥密码理论与技术研究, 参与, 国家级, 2016-01--2019-12
（ 8 ） 共识协议的设计理论与分析方法研究, 主持, 市地级, 2019-07--2023-06
（ 9 ） 电子货币新算法与新原理研究, 参与, 国家级, 2017-07--2020-12
（ 10 ） 区块链工作机制安全分析技术研究, 主持, 国家级, 2020-11--2023-10
（ 11 ） 区块链快速共识机制研究, 主持, 市地级, 2021-01--2021-12
（ 12 ） 开放融合环境下可延展的区块链共识机制研究, 主持, 国家级, 2022-01--2025-12