关于 软件安全 的文章

说到国内知名的安全企业——长亭科技，大家可能都知道很熟悉的是那个“万众创新”的时代里的模范创业故事：四位毕业于清华大学和浙江大学的高材生，出于对信息安全技术的兴趣而创业，遇到过“和...

关心程序分析和代码安全的你，可能经常听说过一个名词——形式化验证（formal verification）。形式化验证是一种通过数学方法验证软件、硬件或系统正确性的技术。它通过建立...

Let’s GoSSIP 软件安全暑期学校的课程内容，向来不缺少高水平的学术研究成果，今年也不例外：我们有幸邀请到了获得2025年IEEE S&P 杰出论文奖（Distin...

完整文件已上传至星球。近七天上传文件列表扫码加入知识星球：网络安全运营运维下载本篇和全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| -...

完整文件已上传至星球。近七天上传文件列表扫码加入知识星球：网络安全运营运维下载本篇和全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| -...

今天上传文件列表近七天上传文件列表扫码加入知识星球：网络安全运营运维下载全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| -...

今天上传文件列表近七天上传文件列表扫码加入知识星球：网络安全运营运维下载全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| -...

完整文件已上传至星球。近七天上传文件列表扫码加入知识星球：网络安全运营运维下载本篇和全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| 来源：BLACK...

完整文件已上传至星球。近七天上传文件列表扫码加入知识星球：网络安全运营运维下载本篇和全套资料风险评估、应急响应、零信任、供应链安全安全意识、软件安全、研发安全| -...

一、导师介绍凌祥，副研究员，硕士生导师，中国科学院软件研究所优秀青年科技人才，主要研究方向为智能软硬件安全，致力于解决智能软硬件及其供应链中存在的安全问题；主持国家自然科学基金、重...