1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
徐海霞 女 硕导 中国科学院信息工程研究所
电子邮件： hxxu@is.ac.cn
通信地址： 中科院信息工程研究所
邮政编码： 100195
研究领域
招生信息

招生专业081220


招生方向现代密码学及其应用

教育背景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,河北师范学院, 本科


社会兼职
教授课程安全多方计算
密码学中的安全性证明

专利与奖励

奖励信息

专利成果
出版信息

发表论文（1） A secure delegation scheme of large polynomial computation in multi-party cloud, Int. J. of Grid and Utility Computing, 2015, 第 5 作者
（2） Complementary witness soundness for witness, International Journal of Information and Computer Security, 2015, 第 1 作者
（3） Private Outsourcing of Polynomial Functions, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications, 2014, 第 5 作者
（4） Veriable Computation of Large Polynomials, INTRUST 2014, 2014, 第 5 作者
（5） Instance-Dependent Commitment and Its Non-Malleability, Chinese Journal of Electronics, 2013, 第 5 作者
（6） Homomorphic signatures for correct computation of group elements, Proceedings - 4th International Conference on Emerging Intelligent Data and Web Technologies, EIDWT, 2013, 第 5 作者
（7） Public Verification of Outsourced Computation of Polynomial Functions, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2013, 第 5 作者
（8） 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 作者
（9） A Non-interactive Secure Outsourced Computation Scheme in multi-party Cloud , 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems, 2012, 第 5 作者
（10） Non-malleable Instance-Dependent Commitment in the Standard Model, ACISP 2012, 2012, 第 2 作者
（11） Universally Composable Zero Knowledge Sets, International Journal of Grid and Utility Computing , 2012, 第 1 作者
（12） 可否认群密钥协商协议的一般化构造方式, 通信学报, 2011, （13） 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 作者
（14） NP问题的常数轮知识的零知识证明系统, 中国科学 信息科学, 2010, （15） A New Efficient Construction for Non-malleable, A New Efficient Construction for Non-malleable, WISA 2010, 2010, 第 2 作者
（16） 无线传感器网络的分布式用户认证机制, 中国科学院研究生院学报, 2008, （17） Multi-trapdoor mercurial commitment scheme, 中国科学院研究生院学报, 2008, （18） 标准模型下可否认的群密钥协商协议, 武汉大学学报(理学版), 2008, （19） 普适复合水银承诺方案, 计算机学报, 2008, （20） Relationship between a non-malleable commitment scheme and a modified selective decommitment scheme , Journal of Computer Science and Technology, 2007, （21） 选择解承诺方案, 中国科学院研究生院学报, 2007, （22） Non-malleable mercurial commitment scheme, 中国科学院研究生院学报, 2007,

发表著作
科研活动

科研项目（ 1 ）安全外包计算协议的若干关键问题研究, 主持, 国家级, 2014-01--2017-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

合作情况

项目协作单位
指导学生