李必信
职称:正高
所在院系:计算机科学系
研究方向:智能化软件开发和维护、软件安全与可信保障、软件缺陷检测与质量保障
电话:
邮箱:bx.li@seu.edu.cn
职务:
个人简介
研究方向
教育经历
工作经历
科研项目
  • 软件系统安全保障1)区块链供应链系统的安全保障,包括智能合约安全、共识协议安全、隐私安全以及系统韧性等方面;2)软件架构的安全保障,包括软件架构安全评估和防御、软件架构韧性评估和增强等方面。[国家级和省部级]

  • 软件缺陷自动检测、定位和修复包括基于深度学习和大模型的软件缺陷自动检测、定位和修复等关键技术和实验研究。[国家级和省部级]



论文著作
  1. Yingying Chen, Bixin Li, Yan Xiao, Xiaoning Du. PonziFinder: Attention-Based Edge-Enhanced Ponzi Contract Detection,IEEE Transactions on Reliability, 2024, Early Access Article.

  2. Tianyuan Hu, Jingyue Li, Xiangfei Xu, Bixin Li. SoliTester: Detecting Exploitable External-risky Vulnerability in Smart Contracts using Contract Account Triggering Method. Journal of Software: Evolution and Process, 2024.Early Access Article

  3. Tong Wang, Bixin Li: EsArCost: Estimating Repair Costs of Software Architecture Erosion using Slice Technology. Journal of System and Software, 208: 111875 (2024)

  4. Tianyuan Hu, Bixin Li, Zhenyu Pan, Chen Qian: Detect Defects of Solidity Smart Contract Based on the Knowledge Graph. IEEE Transactions on Reliability, 73(1): 186-202 (2024)

  5. Qihao Bao, Bixin Li, Tianyuan Hu, Xueyong Sun: A Survey of Blockchain Consensus Safety and Security: State-of-the-art, Challenges, and Future work. Journal of System and Software, 196: 111555 (2023)

  6. Jiaxin Pan, Zixuan Liu, Donglin Li, Lulu Wang, Bixin Li: An Empirical Study of Software Architecture Resilience Evaluation Methods. Journal of System and Software, 202: 111726 (2023)

  7. Lulu Wang, Peng Hu, Xianglong Kong, Wenjie Ouyang, Bixin Li, Haixin Xu, Tao Shao: Microservice Architecture Recovery based on Intra-service and Inter-service Features. Journal of System and Software, 204: 111754 (2023)

  8. Bixin Li, Zhenyu Pan, Tianyuan Hu: ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically. IEEE Transactions on Reliability, 71(2): 984-999 (2022)

  9. Xianglong Kong, Weina Han, Li Liao, Bixin Li: An Analysis of Correctness for API Recommendation: Are the Unmatched Results Useless? Science China: Information Science, 63(9): 1-15 (2020)

  10. Lulu Wang, Bixin Li, Xianglong Kong: Type Slicing: An Accurate Object Oriented Slicing based on Sub-statement Level Dependence Graph. Information and Software Technololy, 127: 106369 (2020)



专利
获奖情况
  • 联系方式
  • 通信地址:南京市江宁区东南大学路2号东南大学九龙湖校区计算机学院
  • 邮政编码:211189
  • ​办公地点:东南大学九龙湖校区计算机楼
  • 学院微信公众号