基本信息
徐静 女 博导 软件研究所
电子邮件：xujing@tca.iscas.ac.cn
通信地址：北京市海淀区中关村南四街4号可信计算与信息保障实验室
邮政编码：100190

部门/实验室：可信计算与信息保障实验室
研究领域应用密码学、安全协议

招生信息
招生专业083900-网络空间安全

招生方向 密码学与安全协议
可信计算与信息保障


教育背景
学历 -- 研究生

学位 -- 博士


工作经历


工作简历2014-03~现在,中国科学院软件研究所,研究员, 博士生导师
2011-10~2014-03,中国科学院信息工程研究所,研究员, 博士生导师
2008-08~2011-10,中国科学院软件研究所,副研究员, 硕士生导师
2005-04~2008-08,中国科学院研究生院,副教授, 硕士生导师
2003-03~2005-04,中国科学院研究生院,博士后

社会兼职2014-05-01-2018-05-01,中国密码学会安全协议专业委员会, 委员
2014-05-01-2018-05-01,中国密码学会青年工作委员会, 委员


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