科研进展
-
软件所提出代码审查意见自动生成新方法
2022-06-21
-
软件所开源项目RepChain荣获“Gitee最有价值开源项目”
2022-06-20
-
开源软件供应链重大基础设施在开源生态“投毒”检测中获进展
2022-06-20
-
软件所发布“澜湄次区域虫媒传染病联防联控平台”2.0版
2022-04-27
-
软件所博士后李日灵获得高性能与并行计算领域顶级期刊最佳论文奖
2022-03-21
-
软件所在内嵌脚本解释器的漏洞自动化挖掘研究中取得进展
2022-01-24
-
软件所荣获中国发明协会2021年度发明创业奖创新奖二等奖
2022-01-05
-
软件所在二进制软件漏洞机理分析方面取得进展
2022-01-05
-
“国产化高并发分布式数据库系统关键技术研究与应用”项目启动会召开
2022-01-05
-
软件所在Python程序的构建依赖分析方面取得进展
2021-12-31
-
软件所在微信小程序缺陷理解与检测研究中取得进展
2021-12-31
-
软件所团队荣获第二届北京移动5G应用创新大赛高校组二等奖
2021-12-27
-
软件所成果获2021年度CCF科学技术奖自然科学一等奖
2021-12-20
-
软件所可信智能系统团队荣获第三届OPPO安全AI挑战赛季军
2021-12-08
-
软件所在5G核心安全协议研究中取得突破 以标准兼容方式解决5G-AKA的隐私安全问题
2021-12-01
-
软件所在支持编程语言中非经典特性的字符串约束求解研究方面取得进展
2021-11-29
-
软件所博士生王少东获SMI 2021国际会议最佳论文提名奖
2021-11-20
-
智能软件研究中心硕士生段旭荣获ISSRE 2021最佳实践论文奖
2021-11-03
-
软件所参与项目荣获2020年度北京市科学技术进步奖
2021-10-28
-
软件所王青、石琳课题组荣获ASE2021 ACM SIGSOFT杰出论文奖
2021-10-22