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

研究领域

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

招生信息

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

教育背景

1999-09--2002-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 ) 一种可刺穿的数字签名方法, 发明, 2019, 第 1 作者, 专利号: 2019102798818
( 2 ) 带标签的私钥可更新数字签名方法及其在POS区块链协议中的应用, 发明, 2019, 第 1 作者, 专利号: 201910917779.6

出版信息

   
发表论文
(1) Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocol, IEEE Transactions on Information Forensics and Security, 2020, 通讯作者
(2) Modular Security Analysis of OAuth 2.0 in the Three-Party Setting, IEEE EuroS&P, 2020, 通讯作者
(3) Dumbo: Faster Asynchronous BFT Protocols, ACM CCS, 2020, 第 4 作者
(4) Investigating the Multi-Ciphersuite and Backwards-Compatibility Security of the Upcoming TLS 1.3, IEEE Transactions on Dependable and Secure Computing, 2019, 第 2 作者
(5) Revisiting the Security of Qian et al. Revised Tree-LSHB+Protocol, Wireless Personal Communications, 2019, 第 2 作者
(6) Generic Traceable Proxy Re-Encryption and Accountable Extension in Consensus Network, ESORICS, 2019, 通讯作者
(7) Accountable Proxy Re-Encryption for Secure Data Sharing, IEEE Transactions on Dependable and Secure Computing, 2018, 通讯作者
(8) Non-transferable Proxy Re-encryption, The Computer Journal, 2018, 第 3 作者
(9) Universally composable anonymous password authenticated key exchange, SCIENCE CHINA Information Sciences, 2017, 第 4 作者
(10) Multiple Handshakes Security of TLS 1.3 Candidates, IEEE S&P, Oakland, 2016, 通讯作者
(11) One-Round Cross-Domain Group Key Exchange Protocol in the Standard Model, Inscrypt 2016, 2016, 通讯作者
(12) Round-Optimal Password-based Group Key Exchange Protocols in the Standard Model, 13th International Conference on Applied Cryptography and Network Security , 2015, 第 1 作者
(13) Certificateless Proxy Re-Encryption without Pairings, ICISC, 2013, 第 2 作者
(14) Identity Based Strong Designated Verifier Signature Scheme Without Pairing, Security and Communication Networks, 2013, 第 2 作者
(15) A Generic Framework for Anonymous Authentication in Mobile Networks, Journal of Computer Science and Technology , 2013, 第 1 作者
(16) Comments on the SM2 Key Exchange Protocol, International Conference on Cryptography and Network Security , 2011, 第 1 作者
(17) A Smart Card Based Generic Construction for Anonymous Authentication in Mobile Networks, International Conference on Security and Cryptography , 2011, 第 1 作者
(18) An Efficient Mutual Authentication and Key Agreement Protocol Preserving User Anonymity in Mobile Networks, Computer Communications, 2011, 第 1 作者
(19) Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks, Computer Networks, 2011, 第 2 作者
(20) Generic Constructions for Strong Designated Verifier Signature, Journal of Information Processing Systems, 2011, 第 2 作者
(21) An Efficient Location-Based Compromise-Tolerant Key Management Scheme for Sensor Networks, Information Processing Letters, 2011, 第 2 作者
(22) A Generic Framework for Constructing Cross-Realm C2C-PAKA Protocols Based on the Smart Card, Concurrency and Computation: Practice and Experience, 2011, 第 1 作者
(23) An Efficient and Provably Secure Cross-Realm C2C-PAKA protocol With Smart Cards, International Conference on Cryptology and Network Security , 2009, 第 2 作者
(24) An Improved Smart Card Based Password Authentication Scheme with Provable Security, Computer Standards Interfaces, 2009, 第 1 作者
(25) Security Flaws in Authentication Protocols with Anonymity for Wireless Environments, ETRI Journal, 2009, 第 1 作者
发表著作
(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