基本信息
徐静  女  博导  中国科学院软件研究所
电子邮件: xujing@iscas.ac.cn
通信地址: 北京市海淀区中关村南四街4号
邮政编码: 100190

研究领域

应用密码学、安全协议、区块链密码

招生信息

招生专业
083900-网络空间安全
招生方向
密码学与安全协议
可信计算与信息保障

教育背景

1999-09--2002-06   中国科学院数学与系统科学研究院   博士
1993-09--1996-06   吉林大学数学系   硕士
1989-09--1993-06   吉林大学数学系   本科

工作经历


工作简历
2017-09~2018-09,Cornell University, visiting professor
2014-03~现在, 中国科学院软件研究所, 研究员,博士生导师
2011-10~2014-03,中国科学院信息工程研究所, 研究员, 博士生导师
2008-08~2011-10,中国科学院软件研究所, 副研究员, 硕士生导师
2005-04~2008-08,中国科学院研究生院, 副教授, 硕士生导师
2003-03~2005-04,中国科学院研究生院, 博士后
社会兼职
2020-02-28-2023-02-27,密码学报, 编委
2019-12-17-2023-12-01,中国密码学会区块链专业委员会, 委员
2014-05-01-2018-05-01,中国密码学会青年工作委员会, 委员
2014-04-30-2022-05-01,中国密码学会安全协议专业委员会, 委员

教授课程

密码协议及其应用
安全协议与形式化方法
计算机通信网络安全

专利、奖励与标准

   
奖励信息
(1) 安全认证协议基础理论与方法研究,中国电子学会科学技术奖(自然科学), 一等奖, 部委级, 2019
专利成果
( 1 ) 一种轮依赖的分级共识方法及区块链共识协议构造方法, 发明专利, 2022, 第 2 作者, 专利号: 2022104632541

( 2 ) 基于小规模委员会的区块链出块方法及PoS协议确认方法, 发明专利, 2022, 第 1 作者, 专利号: 2022102158989

( 3 ) 带标签的私钥可更新数字签名方法及其在PoS区块链协议中的应用, 发明专利, 2020, 第 1 作者, 专利号: CN110837659A

( 4 ) 一种可刺穿的数字签名方法, 发明专利, 2019, 第 1 作者, 专利号: CN110034936A

国家标准

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

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

出版信息

代表性学术论文

1Multiple 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,通讯作者

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

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

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

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

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

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

(9)Non-transferable Proxy Re-encryption,The Computer Journal (CCF-B), 2019, 第3作者

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

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

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

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

(14)Efficient Identity Based Strong Designated Verifier Signature Schemes, Security and Communication Networks, 2013,第2作者

(15)Revisiting the Security of Qian et al. Revised Tree-LSHB+ Protocol, Wireless Personal Communications, 2019,第2作者

(16)A Generic Framework for Anonymous Authentication in Mobile Networks, Journal of Computer Science and Technology,2013,第1作者

(17)Comments on the SM2 Key Exchange Protocol, International Conference on Cryptography and Network Security,2011,第1作者

(18)Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks, Computer Networks, 2011,第2作者

(19)An Efficient Location-Based Compromise-Tolerant Key Management Scheme for Sensor Networks, Information Processing Letters,2011,第2作者

(20)An Efficient Mutual Authentication and Key Agreement Protocol Preserving User Anonymity in Mobile Networks, Computer Communications,2011,第1作者

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

(22)Certificateless Public-Key Signature: Security Model and Efficient Construction, ACNS, 2006, 第 3 作者

(23)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