基本信息
徐海霞  女  硕导  中国科学院信息工程研究所
电子邮件: xuhaixia@iie.ac.cn
通信地址: 中科院信息工程研究所
邮政编码: 100195

研究领域

   

招生信息

   
招生专业
083900-网络空间安全
招生方向
密码学协议,安全多方计算,数字货币

教育背景

1997-09--2001-07   首都师范大学   博士
1994-09--1997-07   首都师范大学   硕士
1990-09--1994-07   河北师范学院   本科
学历
   
学位
   

工作经历

   
工作简历
2004-01~现在, 中科院研究生院, 教师
2001-10~2003-12,中科院研究生院, 博士后
1997-09~2001-07,首都师范大学, 博士
1997-07~2001-09,首都师范大学, 教师
1994-09~1997-07,首都师范大学, 硕士
1990-09~1994-07,河北师范学院, 本科
社会兼职
2019-06-12-今,新工科区块链工委会委员,
2018-11-24-今,CCF区块链专委会委员,
2017-09-30-今,密码学会安全协议专家委员会委员,

教授课程

安全性归约证明-基础与方法
区块链技术及应用
安全协议
安全多方计算
密码学中的安全性证明

专利与奖励

   
奖励信息
   
专利成果
( 1 ) 一种安全高效的外包计算实现方法和系统, 2017, 第 2 作者, 专利号: 201710086781.4
( 2 ) 一种基于SM9签名算法的两方合作签名方法, 2018, 第 2 作者, 专利号: 201810060113.9
( 3 ) 一种区块链的数据可追踪方法, 2018, 第 2 作者, 专利号: 201810862064.0
( 4 ) 一种区块链的数据可追踪方法(国际), 2018, 第 2 作者, 专利号: PCT/CN2018/112283
( 5 ) 一种基于SM9数字签名算法的分级签名方法和系统, 2019, 第 1 作者, 专利号: 201910058070.5

出版信息

   
发表论文
(1) 数字货币的匿名性研究, 计算机学报, 2019, 第 11 作者
(2) A Secure Two-Party SM9 Signing, Science of China, 2018, 第 11 作者
(3) 可更改区块链技术研究, 密码学报, 2018, 第 11 作者
(4) 区块链技术在网络互助中的应用及用户隐私保护, 信息网络安全, 2018, 第 11 作者
(5) A User-Friendly Centrally Banked Cryptocurrency, International Conference on Information Security Practice and Experience, 2017, 第 3 作者
(6) Multi-client Outsourced Computation, 11th International Conference on Information Security and Cryptology, 2016, 第 11 作者
(7) Multi-input Functional Encryption and Its Application in Outsourcing Computation, 17th International Conference on Information and Communications Security, ICICS 2015, 2016, 第 11 作者
(8) A secure delegation scheme of large polynomial computation in multi-party cloud, Int. J. of Grid and Utility Computing, 2015, 第 11 作者
(9) Complementary witness soundness for witness, International Journal of Information and Computer Security, 2015, 第 1 作者
(10) Selective Opening Secure Functional Encryption, Seventh International Conference on Network and Communication Security, 2015, 第 11 作者
(11) Private Outsourcing of Polynomial Functions, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications, 2014, 第 11 作者
(12) Veri able Computation of Large Polynomials,  INTRUST 2014, 2014, 第 11 作者
(13)  Instance-Dependent Commitment and Its Non-Malleability,  Chinese Journal of Electronics, 2013, 第 11 作者
(14) Homomorphic signatures for correct computation of group elements, Proceedings - 4th International Conference on Emerging Intelligent Data and Web Technologies, EIDWT, 2013, 第 11 作者
(15) Public Verification of Outsourced Computation of Polynomial Functions, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2013, 第 11 作者
(16) Complementary Witness Soundness Witness Indistinguishable Proof system and CCA2 Public-Key Encryption Schemes., 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems , 2012, 第 1 作者
(17) A Non-interactive Secure Outsourced Computation Scheme in multi-party Cloud , 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems , 2012, 第 11 作者
(18) Non-malleable Instance-Dependent Commitment in the Standard Model, ACISP 2012 , 2012, 第 2 作者
(19) Universally Composable Zero Knowledge Sets, International Journal of Grid and Utility Computing , 2012, 第 1 作者
(20) 可否认群密钥协商协议的一般化构造方式, 通信学报, 2011, (21) On constant-round zero-knowledge proofs of knowledge for NP-relations, On constant-round zero-knowledge proofs of knowledge for NP-relations, SCIENCE CHINA Information Sciences, 2010, 第 2 作者
(22) NP问题的常数轮知识的零知识证明系统, 中国科学 信息科学, 2010, (23) A New Efficient Construction for Non-malleable, A New Efficient Construction for Non-malleable, WISA 2010, 2010, 第 2 作者
(24) 无线传感器网络的分布式用户认证机制, 中国科学院研究生院学报, 2008, (25) Multi-trapdoor mercurial commitment scheme, 中国科学院研究生院学报, 2008, (26) 标准模型下可否认的群密钥协商协议, 武汉大学学报(理学版), 2008, (27) 普适复合水银承诺方案, 计算机学报, 2008, (28) Relationship between a non-malleable commitment scheme and a modified selective decommitment scheme , Journal of Computer Science and Technology, 2007, (29) 选择解承诺方案, 中国科学院研究生院学报, 2007, (30) Non-malleable mercurial commitment scheme, 中国科学院研究生院学报, 2007, 
发表著作
   

科研活动

   
科研项目
( 1 ) 安全外包计算协议的若干关键问题研究, 主持, 国家级, 2014-01--2017-12
( 2 ) 电子货币基础构造理论研究, 主持, 国家级, 2017-07--2020-12
( 3 ) 区块链基础平台可监管匿名隐私保护算法研究, 主持, 研究所(学校), 2019-01--2019-09
( 4 ) 自主可控区块链平台的基础理论研究, 主持, 省级, 2018-08--2019-12
( 5 ) 区块链的可监管机制研究, 主持, 研究所(学校), 2018-07--2019-12
参与会议
(1) A Non-interactive Secure Outsourced Computation Scheme in multi-party Cloud   Shu Guo, Haixia Xu   2012-09-19
(2) Complementary Witness Soundness Witness Indistinguishable Proof system and CCA2 Public-Key Encryption Schemes.    Haixia Xu, Bao Li, Qixiang Mei   2012-09-19
(3)Non-malleable Instance-Dependent Commitment in the Standard Model.    Wenpan Jing, Haixia Xu, Bao Li   2012-07-09
(4)A New Efficient Construction for Non-malleable Zero-Knowledge Sets   Wenpan Jing, Haixia Xu, Bao Li   2010-08-24
(5)安全多方计算   全国编码与密码数学理论研讨会   徐海霞   2010-07-19
(6)标准模型下可否认的群密钥协商协议   中国密码学会年会   张雅哲 徐海霞 李宝   2008-10-11
(7)An Efficient Scheme for User Authentication in Wireless Sensor Networks   Canming Jiang, Bao Li and Haixia Xu   2007-05-23

合作情况

   
项目协作单位
   

指导学生