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

083900-网络空间安全

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

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

2022-12-31-2026-12-30,电子与信息学报, 编委
2022-12-07-2026-12-07,中国密码学会安全协议专业委员会, 副主任委员
2020-02-25-2028-02-25,密码学报, 编委
2019-12-16-2023-11-30,中国密码学会区块链专业委员会, 委员

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

（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) Warning! The Timeout T Cannot Protect You From Losing Coins PipeSwap: Forcing the Timely Release of a Secret for Atomic Cross-Chain Swaps, IEEE Symposium on Security & Privacy (S&P, 四大安全顶会), 2025, 通讯作者

 (2) 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, 通讯作者

(3) Mobius: Enabling Byzantine-Resilient Single Secret Leader Election with Uniquely Verifiable State, Network and Distributed System Security Symposium (NDSS，四大安全顶会), 2026, 通讯作者

(4)  Practical Asynchronous Distributed Key Reconfiguration and Its Applications, IEEE Symposium on Security & Privacy (S&P, 四大安全顶会), 2026, 第5作者

(5) Multiple Handshakes Security of TLS 1.3 Candidates, IEEE Symposium on Security & Privacy (S&P, 四大安全顶会), 2016, 通讯作者

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

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

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

(9) Chitin: A Security-Enhanced Proof-of-Stake Protocol with View-Interference Resilience, IEEE Transactions on Information Forensics and Security (CCF-A), 2026，通讯作者

(10) Turritopsis: Practical Dynamic Asynchronous BFT, IEEE Transactions on Information Forensics and Security (CCF-A), 2025，通讯作者

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

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

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

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

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

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

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

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

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

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

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

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

   

（ 1 ） 面向跨平台互操作的分布式数字身份信任机制研究, 负责人, 国家任务, 2026-01--2029-12
（ 2 ） 开放融合环境下可延展的区块链共识机制研究, 负责人, 国家任务, 2022-01--2025-12
（ 3 ） 区块链快速共识机制研究, 负责人, 研究所自主部署, 2021-01--2021-12
（ 4 ） 区块链工作机制安全分析技术研究, 负责人, 国家任务, 2020-11--2023-10
（ 5 ） 共识协议的设计理论与分析方法研究, 负责人, 研究所自主部署, 2019-07--2023-06
（ 6 ） 匿名认证协议的设计理论与分析方法研究, 负责人, 国家任务, 2016-01--2019-12
（ 7 ） 国家重点基础研究发展计划, 参与, 国家任务, 2013-01--2017-12
（ 8 ） 无线传感器网络密钥管理协议研究, 负责人, 国家任务, 2012-01--2015-12
（ 9 ） 无线网络认证密钥交换协议研究, 负责人, 国家任务, 2009-01--2011-12