研究成果
我们的研究论文、技术报告和数据集。所有工作均为预发布或正在准备同行评审中。
通用漏洞中间表示：连接静态分析工具
In Progress一种漏洞模式的形式化中间表示，支持跨工具规则转译和语义保留。
2024 ·待提交
用于漏洞验证的微虚拟化技术
In Progress基于 Rust 的轻量级沙箱方案，实现毫秒级延迟的安全验证和误报消除。
2024 ·技术报告
VulnAtlas：精选漏洞知识图谱
In Progress大规模经过验证的漏洞模式数据集，包含语义标注，用于训练和评测安全模型。
2024 ·数据集发布