Research & Works / 02

Research & Works

聚焦 AI 智能体安全、机密计算与可信协议，汇集 Songbo Bu 的研究论文、IETF 草案、安全披露、标准与出版作品。
Security Research Internet Standards Technical Writing

Papers & Preprints · 论文与预印本

Publications · 已发表论文

Preprints · 预印本

IETF / Standards Work · 标准工作

Public record

围绕 AI 智能体安全、远程证明与 TLS 形式化分析，参与开放标准研究与协议设计。

AI Agent SecurityActive individual I-D · Author Security Principal and Verifier Binding for Agent Communication Protocols 面向智能体通信的安全主体识别、验证者绑定与身份连续性设计。-07 · 2026-09-15 Official record Agent AccountabilityActive individual I-D · Co-author Agent Accountability: Composition and Conformance 以 CAN、WHO、WHAT、AUDIT 四类可独立验证档案组合责任链，并定义共享一致性测试向量。-01 · 2026-08-16 Official record TLS / Formal AnalysisActive individual I-D · Co-author Proposed Document Template for TLS FATT Process 为需要形式化分析的 TLS 扩展提出文档模板，明确威胁模型、安全目标与协议图要求。-09 · 2026-07-06 Official record Attested TLSActive individual I-D · Co-author Early Attestation Considered Very Harmful 结合漏洞研究与形式化分析，研究远程证明在 TLS 握手中的安全组合。-54 · 2026-10-03 Official record Remote AttestationActive individual I-D · Co-author Guidelines for Security Considerations of RATS 远程证明安全考虑指南，涵盖认证层次、威胁建模、重放与中继攻击。-06 · 2026-09-29 Official record

Selected Reviews & Discussions · 审阅与讨论

Security Research · 公开漏洞披露

聚焦机密计算、远程证明与身份认证，开展漏洞研究与协同披露。

GitHub Security Advisories

Privasys18 GHSA
Veraison7 GHSA
Cocos AI1 GHSA
Contrast1 GHSA

Standards, Books & Writing · 标准与作品

Standards · 团体标准

Books · 书籍

Writing & Media · 文章与媒体测评