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 工作流构建 工程 · 硕士毕业设计 · 2026-2027 招募
本硕士工程项目构建一个面向 POC 生成的回归自进化工作流。项目基于 Magma、带有 ground-truth 的漏洞基准和 workflow DSL，设计并评测一个 agentic pipeline，使其能够生成 POC、在已知漏洞目标上执行验证、诊断失败原因、修订自身工作流，并持续积累可复用策略。项目目标是把有基准支撑的 POC 生成转化为一个可度量的工程闭环，用于研究基于 LLM 的安全智能体如何通过执行反馈持续改进。
200 面向系统编程的回归感知 LLM 科研 · 博士项目
本博士科研项目研究大语言模型如何改变系统编程，以及 LLM 在持续演化的代码库中引入回归问题的机制。项目将追踪当前 LLM for System Programming 的发展趋势，研究功能、性能、安全性和可靠性回归的检测方法，并分析软件长期开发与维护过程中回归风险如何累积。进一步地，项目探索面向回归的反思与自进化机制，使基于 LLM 的智能体能够从失败中学习、保留已经验证的行为，并在持续运行和迭代过程中避免重复引入回归问题。
201 故障注入与防护 科研 · 博士项目
本博士科研项目研究当软件系统本身越来越难以直接利用时，攻击者如何转向硬件层面的故障注入。项目关注电压、时钟、电磁、激光等物理故障模型如何被用于绕过安全检查、破坏控制流、窃取秘密或削弱可信执行机制，并进一步研究跨硬件、固件、编译器、运行时和系统软件的检测与防护方法，目标是在真实故障攻击条件下仍然构建可靠的安全系统。
202 网络空间靶场 科研 · 博士项目
本博士科研项目构建一个贴近真实网络安全环境的网络空间靶场。该靶场结合复杂基础设施、战略性多阶段任务、真实攻防流程，以及大规模预定义智能体，形成可复现且动态演化的网络安全场景。项目目标是在更接近真实行动的环境中训练和评测 cyber model，使其能力不只停留在单点漏洞求解，而是覆盖规划、适应、协同、态势感知和长周期决策。
203 沙箱纵深防御 科研 · 博士项目 · 2026-2027 招募
本博士科研项目研究面向进程级沙箱和虚拟机级沙箱的纵深防御体系。项目关注沙箱逃逸和策略绕过如何在系统调用接口、共享资源、运行时服务和硬件边界处产生，并设计结合安全接口行为监测、漏洞利用预防和分舱隔离的多层防护机制。项目进一步探索模式匹配、硬件辅助执行保护以及软硬件协同设计等技术，使沙箱执行环境能够同时抵御已知攻击模式和未见过的利用策略。