000 计算机学术谱系项目 元科学 工程 本科毕业设计
本本科毕业设计项目将 Computing Genealogy Project 打造成一个可用的计算机学科学术谱系系统，用于探索导师、学生与合作关系。项目工作包括采集和清洗导师-学生及合作数据，优化搜索、浏览和可视化场景下的 UI/UX，设计稳定的 API 以支持程序化访问，并提供可嵌入视图，使其能够集成到个人主页、实验室网站或课程材料中。
学生项目
100 Hypervisor Security SoK 全生命周期系统安全 工程 硕士毕业设计 2026-2027 招募
本硕士毕业设计项目从三个相互关联的角度系统研究 hypervisor：作为安全机制的 hypervisor、hypervisor 自身的安全性，以及不安全 hypervisor 设计或部署带来的风险。项目目标是形成一份系统化知识图谱，梳理通用、云端、嵌入式和安全增强型虚拟化系统中的威胁模型、隔离假设、漏洞类型、测量方法和开放研究问题。
101 固件重托管服务与分析报告 全生命周期系统安全 工程 硕士毕业设计
本硕士工程项目构建一个固件重托管服务，将固件镜像转化为可复现的仿真与分析任务。系统应支持固件导入、解包、架构与平台识别、运行环境重建、服务启动、插桩和执行监控，并生成结构化报告，总结重托管状态、可达服务、运行时行为、配置假设、观察到的失败原因以及后续安全测试机会。
102 Hypervisor Fuzzing 服务与分析报告 全生命周期系统安全 工程 硕士毕业设计
本硕士工程项目构建一个面向 hypervisor 接口和虚拟化组件的 fuzzing 服务，用于开展可重复的安全测试。系统应支持目标环境搭建、guest workload 生成、接口建模、输入变异、崩溃检测、覆盖率收集、问题归类和回归复现，并生成结构化报告，描述测试接口、fuzzing 活动、发现的崩溃、可复现性、根因假设、安全影响和后续建议。
103 回归自进化的 POC Generation 工作流构建 网安大模型、AI 智能体与基准 工程 硕士毕业设计 2026-2027 招募
本硕士工程项目构建一个面向 POC 生成的回归自进化工作流。项目基于 Magma、带有 ground-truth 的漏洞基准和 workflow DSL，设计并评测一个 agentic pipeline，使其能够生成 POC、在已知漏洞目标上执行验证、诊断失败原因、修订自身工作流，并持续积累可复用策略。项目目标是把有基准支撑的 POC 生成转化为一个可度量的工程闭环，用于研究如何通过执行反馈持续改进安全工具。
104 Paper2Product：科研成果转化工作流 元科学 工程 硕士毕业设计
本硕士工程项目研究：当论文发表不再是主要瓶颈时，学术工作的主要矛盾如何从生产可见的研究成果，转向把研究转化为可验证、可复用和可部署的知识与技术。项目构建 Paper2Product 工作流，面向大规模论文语料提取主张、证据、方法、数据和研究资产，聚合相关发现，识别实际需求，并为工具、数据集、服务、标准或后续研究提出可行的转化路径。项目同时分析科技转化困难的来源，包括上下文缺失、可复现性不足、隐性知识、知识产权约束、激励机制错位，以及研究原型与可靠系统之间的距离。最终成果包括一个可运行的原型、一套有文档记录的转化工作流，以及用于评估自动化边界和人工判断必要性的案例研究。
105 论文复现与研究产物改进智能体 元科学 工程 硕士毕业设计
本硕士工程项目开发一个面向 artifact evaluation、论文复现和研究产物改进的智能体。给定论文及其现有材料，智能体将识别论文中的实验主张与评测标准，在可行时自动生成缺失的研究产物，配置并运行实验环境，对比复现结果与论文报告结果，诊断差异和失败原因，并迭代优化实现、配置与评测指标。项目目标是提升 artifact evaluation 的可复现性、可扩展性与实际价值，同时完整记录每项结果背后的证据、假设和人工干预。
106 SoK 生成工作流 元科学 工程 硕士毕业设计
本硕士工程项目构建一个用于生成高质量 Systematization of Knowledge（SoK）论文和综述的工作流。工作流支持文献发现、语料库构建、相关性筛选、分类体系设计、证据提取、观点综合、研究空白分析和迭代写作，并与项目 105 联动，对论文实验进行复现并评估研究产物，确保综述文字、结构化数据、复现结果、表格、图示和最终结论相互一致。项目目标是让 SoK 生产过程更加系统、可审计，同时保留界定研究范围、处理冲突证据、识别有价值研究空白和形成连贯学术贡献所必需的专家判断。
107 论文差异与重复检测工作流 元科学 工程 硕士毕业设计
本硕士工程项目构建一个面向大规模论文库的论文比较与重复研究检测工作流。项目借鉴 binary diff 的思想，设计语义化的 paper diff 表示，对齐不同论文中的研究问题、前提假设、方法、数据集、实验设置、结果、主张和研究产物，并识别其中等价或高度相似的内容、相互矛盾的证据与结论，以及后续工作真正新增的部分。系统将结合可扩展检索、候选论文对生成、结构化信息提取、语义对齐、矛盾分析、来源追踪和人工复核界面，对大规模研究语料开展检测。项目目标不只是发现文字重合，而是基于可追溯证据区分复用、复现、增量扩展、冲突证据和实质性创新。
200 面向系统编程的回归感知 LLM 网安大模型、AI 智能体与基准 科研 博士项目
本博士科研项目研究大语言模型如何改变系统编程，以及 LLM 在持续演化的代码库中引入回归问题的机制。项目将追踪当前 LLM for System Programming 的发展趋势，研究功能、性能、安全性和可靠性回归的检测方法，并分析软件长期开发与维护过程中回归风险如何累积。进一步地，项目探索面向回归的反思与自进化机制，使基于 LLM 的智能体能够从失败中学习、保留已经验证的行为，并在持续运行和迭代过程中避免重复引入回归问题。
201 故障注入与防护 全生命周期系统安全 科研 博士项目
本博士科研项目研究当软件系统本身越来越难以直接利用时，攻击者如何转向硬件层面的故障注入。项目关注电压、时钟、电磁、激光等物理故障模型如何被用于绕过安全检查、破坏控制流、窃取秘密或削弱可信执行机制，并进一步研究跨硬件、固件、编译器、运行时和系统软件的检测与防护方法，目标是在真实故障攻击条件下仍然构建可靠的安全系统。
202 网络空间靶场 网安大模型、AI 智能体与基准 科研 博士项目
本博士科研项目构建一个贴近真实网络安全环境的网络空间靶场。该靶场结合复杂基础设施、战略性多阶段任务、真实攻防流程，以及大规模预定义智能体，形成可复现且动态演化的网络安全场景。项目目标是在更接近真实行动的环境中训练和评测 cyber model，使其能力不只停留在单点漏洞求解，而是覆盖规划、适应、协同、态势感知和长周期决策。
203 沙箱纵深防御 全生命周期系统安全 科研 博士项目 2026-2027 招募
本博士科研项目研究面向进程级沙箱和虚拟机级沙箱的纵深防御体系。项目关注沙箱逃逸和策略绕过如何在系统调用接口、共享资源、运行时服务和硬件边界处产生，并设计结合安全接口行为监测、漏洞利用预防和分舱隔离的多层防护机制。项目进一步探索模式匹配、硬件辅助执行保护以及软硬件协同设计等技术，使沙箱执行环境能够同时抵御已知攻击模式和未见过的利用策略。
204 全空域系统纵深安全 全生命周期系统安全 科研 博士项目
当今全空域系统将卫星、飞机、无人机、基站和云端控制平面连接起来，却缺少共享的信任底座。单层故障或入侵可能沿系统级联；GPS 欺骗、信号干扰、航电入侵，以及跨域链路上的薄弱认证和密钥管理，都可能迅速危及安全与任务连续性。本项目构建分层安全综述与参考架构：梳理不同高度的代表性目标，按硬件、协议和系统层组织攻击与防护，并明确展示从云端和基站到飞机、卫星及终端的级联路径。项目进一步联系可信执行、完整性验证和安全编排，分析防御措施能否在端到端链路上协同生效。
300 让 AI 失灵的系统安全难题 全生命周期系统安全 开放问题 本科项目 硕士项目 博士项目
本开放问题研究：系统安全中是否存在一些能够稳定导致当前 AI 模型和智能体失灵的基础难题，以及由这些难题组合而成、难度显著高于单个组成部分的复合问题。软件加固与防逆向提供了一个代表性场景：代码混淆、加壳、反调试、反模拟、自修改代码、不透明谓词、间接控制流和对抗性组合变换都可能分别阻碍分析，而多种机制叠加后可能形成性质不同的更难问题。项目将构建基础难题与复合难题的分类体系和基准，测量 AI 在正确性、鲁棒性、效率及错误恢复能力上的失效边界，并分析失败究竟源于知识缺失、上下文限制、长程推理、工具使用、部分可观测性还是对抗性结构。本科项目可构造并评测聚焦的难题实例，硕士项目可建设可扩展的基准与分析系统，博士项目可研究能力边界、组合难度及突破这些限制的新方法。