|
Xinyu Li (李新宇)
中关村国家实验室副研究员，国家海外高层次青年人才计划入选者，哈尔滨工业大学兼职博士生导师，此前于2020.12至2024.2期间在香港大学计算机系从事博士后研究，
合作导师为 Man Ho Allen Au 教授。
近年来以第一/通讯作者身份在网络安全领域国际顶级会议和期刊IEEE S&P、IEEE TDSC、IEEE TIFS和IEEE EuroS&P等发表多篇学术论文，获得多项国家发明专利。
成果得到了包括IACR Fellow在内的众多学者以及顶级会议/期刊文章的积极评价和引用，并在京东和华为等互联网企业得到应用。其关于TLS 等国际标准的可证明安全工作已作为独立章节入选密码理论与技术丛书《安全认证协议——基础理论与方法》，
该丛书入选了“十四五”时期国家重点出版物出版专项规划项目。 相关成果还获得了国际标准TLS 1.3的引用，成为 TLS 标准 20 多年历史上引用的唯一来自中国的研究成果，体现了较高的学术价值和应用价值。
Email: xinyuli1920[at]gmail[dot]com 依托哈尔滨工业大学联合培养专项，团队长期招收博士和博士后，免试研究生可以提前进课题组开展本科毕业设计。 |
 |
教育经历
- 2016.09 - 2020.09: 中国科学院大学 && 中国科学院软件研究所， 博士，计算机科学与技术 (导师 徐静 研究员)
- 2014.09 - 2016.06: 中国科学院软件研究所, 联合培养 (导师 徐静 研究员、 张振峰 研究员)
- 2013.09 - 2016.06: 中国科学技术大学, 硕士保送，电子与通信工程 (导师 冯登国 院士、 胡红钢 教授)
- 2009.09 - 2013.06: 中国科学技术大学, 学士，信息安全 (论文导师 张振峰 研究员)
研究兴趣
- 安全协议：区块链、物/车联网、5G、外包存储等应用协议的设计与安全性分析
- 应用密码学
- 可证明安全理论
论文
- ePoSt: Practical and Client-friendly Proof of Storage-Time
- Chengru Zhang, Xinyu Li* (corresponding author), Man Ho Au
- IEEE Transactions on Information Forensics and Security (TIFS) 2023 (CCF-A期刊) [Paper]
- Escaping from Consensus: Instantly Redactable Blockchain Protocols in Permissionless Setting
- Xinyu Li, Jing Xu, Lingyuan Yin, Yuan Lu, Qiang Tang, Zhenfeng Zhang
- IEEE Transactions on Dependable and Secure Computing (TDSC) 2023 (CCF-A期刊) [Paper]
- Metadata Privacy Preservation for Blockchain-Based Healthcare Systems
- Lixin Liu, Xinyu Li, Man Ho Au, Zhuoya Fan, Xiaofeng Meng
- International Conference on Database Systems for Advanced Applications (DASFAA) 2022 (CCF-B会议，Acceptance Rate: 27.3%) [Paper]
- Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols
- Xinyu Li, Jing Xu, Xiong Fan, Yuchen Wang, Zhenfeng Zhang
- IEEE Transactions on Information Forensics and Security (TIFS) 2020 (CCF-A期刊) [Paper]
- Modular Security Analysis of OAuth 2.0 in the Three-Party Setting
- Xinyu Li, Jing Xu, Zhenfeng Zhang, Xiao Lan, Yuchen Wang
- IEEE European Symposium on Security and Privacy (EuroS&P) 2020 (CCF-C会议，网络安全领域国际知名会议，Acceptance Rate: 14.5%) [Paper]
- Revisiting the Security of Qian et al.'s Revised Tree- LSHB+ Protocol
- Xinyu Li, Jing Xu, Zhenfeng Zhang
- Wireless Personal Communications 2019 [Paper]
- Multi-valued Byzantine Consensus Scheme with High Transmission Efficiency
- Bingyong Guo, Xinyu Li* (corresponding author)
- Journal of Cryptologic Research 2018 [Paper]
- Multiple handshakes security of TLS 1.3 candidates
- Xinyu Li, Jing Xu, Zhenfeng Zhang, Dengguo Feng, Honggang Hu
- IEEE Symposium on Security and Privacy (S&P) 2016 (CCF-A会议，网络安全四大顶会，Acceptance Rate: 13.8%) [Paper]
- On the security of TLS resumption and renegotiation
- Xinyu Li, Jing Xu, Zhenfeng Zhang, Dengguo Feng
- China Communications 2016 [Paper]
获奖情况
- “InForSec2016年度学术新星奖”, 网络安全研究国际学术论坛 (InForSec), 2016.
- 入选国家海外高层次青年人才项目, 2024.
邀请报告
- 可修改区块链的设计与安全性分析
北京电子科技学院, 2023 - Escaping from Consensus: Instantly Redactable Blockchain Protocols in Permissionless Setting
东南大学，四川大学，西安电子科技大学, 2021 - Provable Security and its Application in Security Analysis of Cryptographic Protocols
南开大学, 2020 - Multiple Handshakes Security and Key Reuse Security of the Upcoming TLS 1.3
密码学会青年论坛，2017 - Multiple Handshakes Security of TLS 1.3 Candidates
中国科学院信息工程研究所, 2016
专利
- 一种可刺穿的数字签名方法
- 徐静，李新宇，张振峰
- 专利号: ZL 201910279881.8, CN
- 带标签的私钥可更新数字签名方法及其在PoS区块链协议中的应用
- 徐静，李新宇，张振峰，翟欣磊
- 专利号: ZL 201910917779.6, CN