基本信息
徐海霞  女  硕导  中国科学院信息工程研究所
电子邮件: 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,河北师范学院, 本科
社会兼职
2020-08-28-今,工信部区块链专家库专家,
2020-03-18-今,全国认证认可检验检测行业区块链专家库专家,
2020-03-02-今,广东省区块链与金融科技领域专家,
2020-02-27-今,密码学会区块链专委会委员,
2019-06-12-今,新工科区块链工委会委员,
2018-11-24-今,CCF区块链专委会委员,
2017-09-30-今,密码学会安全协议专家委员会委员,

教授课程

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

专利与奖励

   
奖励信息
(1) 金融密码杯2020全国密码技术大赛, 二等奖, 其他, 2020
(2) 金融密码杯2020全国密码技术大赛, 二等奖, 其他, 2020
专利成果
( 1 ) 一种安全高效的外包计算实现方法和系统, 2020, 第 2 作者, 专利号: 201710086781.4
( 2 ) 一种基于SM9签名算法的两方合作签名方法, 2020, 第 2 作者, 专利号: 201810060113.9
( 3 ) 一种区块链的数据可追踪方法, 2020, 第 2 作者, 专利号: 201810862064.0
( 4 ) 一种区块链的数据可追踪方法(国际), 2018, 第 2 作者, 专利号: PCT/CN2018/112283
( 5 ) 一种基于SM9数字签名算法的分级签名方法和系统, 2020, 第 1 作者, 专利号: 201910058070.5
( 6 ) 一种基于格的可更改区块链方法, 2019, 第 1 作者, 专利号: 201910862612.4
( 7 ) 一种区块链系统用户身份匿名、可追踪方法及相应存储介质与电子装置, 2020, 第 2 作者, 专利号: ZL2019113566706
( 8 ) 一种安全高效的共识机制实现方法及系统, 2020, 第 1 作者, 专利号: 202011148629.2

出版信息

   
发表论文
(1) 区块链用户匿名与可追踪技术, 电 子 与 信 息 学 报, 2020, 通讯作者
(2) A Blockchain Traceable Scheme with Oversight Function, icics, 2020, 通讯作者
(3) 数字货币的匿名性研究, 计算机学报, 2019, 通讯作者
(4) A Secure Two-Party SM9 Signing, Science of China, 2018, 通讯作者
(5) 可更改区块链技术研究, 密码学报, 2018, 通讯作者
(6) 区块链技术在网络互助中的应用及用户隐私保护, 信息网络安全, 2018, 通讯作者
(7) A User-Friendly Centrally Banked Cryptocurrency, International Conference on Information Security Practice and Experience, 2017, 第 3 作者
(8) Multi-client Outsourced Computation, 11th International Conference on Information Security and Cryptology, 2016, 通讯作者
(9) Multi-input Functional Encryption and Its Application in Outsourcing Computation, 17th International Conference on Information and Communications Security, ICICS 2015, 2016, 通讯作者
(10) A secure delegation scheme of large polynomial computation in multi-party cloud, Int. J. of Grid and Utility Computing, 2015, 通讯作者
(11) Complementary witness soundness for witness, International Journal of Information and Computer Security, 2015, 第 1 作者
(12) Selective Opening Secure Functional Encryption, Seventh International Conference on Network and Communication Security, 2015, 通讯作者
(13) Private Outsourcing of Polynomial Functions, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications, 2014, 通讯作者
(14) Veri able Computation of Large Polynomials,  INTRUST 2014, 2014, 通讯作者
(15)  Instance-Dependent Commitment and Its Non-Malleability,  Chinese Journal of Electronics, 2013, 通讯作者
(16) Homomorphic signatures for correct computation of group elements, Proceedings - 4th International Conference on Emerging Intelligent Data and Web Technologies, EIDWT, 2013, 通讯作者
(17) Public Verification of Outsourced Computation of Polynomial Functions, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2013, 通讯作者
(18) 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 作者
(19) A Non-interactive Secure Outsourced Computation Scheme in multi-party Cloud , 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems , 2012, 通讯作者
(20) Non-malleable Instance-Dependent Commitment in the Standard Model, ACISP 2012 , 2012, 第 2 作者
(21) Universally Composable Zero Knowledge Sets, International Journal of Grid and Utility Computing , 2012, 第 1 作者
(22) 可否认群密钥协商协议的一般化构造方式, 通信学报, 2011, 
(23) 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 作者
(24) NP问题的常数轮知识的零知识证明系统, 中国科学 信息科学, 2010, 
(25) A New Efficient Construction for Non-malleable, A New Efficient Construction for Non-malleable, WISA 2010, 2010, 第 2 作者
(26) 无线传感器网络的分布式用户认证机制, 中国科学院研究生院学报, 2008, 
(27) Multi-trapdoor mercurial commitment scheme, 中国科学院研究生院学报, 2008, 
(28) 标准模型下可否认的群密钥协商协议, 武汉大学学报(理学版), 2008, 
(29) 普适复合水银承诺方案, 计算机学报, 2008, 
(30) Relationship between a non-malleable commitment scheme and a modified selective decommitment scheme , Journal of Computer Science and Technology, 2007, 
(31) 选择解承诺方案, 中国科学院研究生院学报, 2007, 
(32) 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
( 6 ) 自主可控的区块链监管与隐私保护技术研究, 参与, 省级, 2019-04--2020-06
( 7 ) 山东省重大科技创新工程项目“区块链网络监管与安全防护关键技术”, 主持, 省级, 2019-01--2021-12
( 8 ) 基于多方安全计算技术的金融数据可信共享工具研发与示范应用, 主持, 省级, 2020-07--2022-06
参与会议
(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