文章
技术分析、CTF 解题报告及工程日志。
文章
证明 AI 智能体获准执行的操作范围
当防护机制漏检后,用签名证据离线核验智能体的操作:遏制了分类器漏检的 138/138 个案例,并将 AgentDojo 上的攻击成功数从 9/140 降至 0/140。
如何让窗口对屏幕捕获不可见,以及在线监考为何存在缺口
在受测 Windows 和 macOS 版本的受控实验室模拟中,公开的窗口捕获设置实现了 100% 规避率,未观察到捕获痕迹。未测试商用监考产品或 Linux。
用 C++20 构建亚微秒级订单撮合引擎
三层数据结构如何实现 O(1) 撤单和亚微秒级延迟。
解析网络入侵检测系统的构造
分层协议解析、受 Snort 启发的规则和有状态威胁检测;单线程解析合成 SYN 包时达到 500K+ 包/秒。
深入解析 eBPF 运行时监控
为容器安全构建安全、只读的内核探针。
用 KMP 构建离线优先的安全工具
在 Android、iOS 和 Web 之间共享 100% 的安全逻辑。
保护 Electron 应用:实用指南
在现代桌面应用中安全处理秘密与 IPC。
研究论文
论文: 5原始标题与 PDF 文件为英文。
The Invisible Window: Exploiting OS-Level Display Affinity to Bypass WebRTC Proctoring Systems
13 页论文,记录跨平台屏幕捕获规避及与厂商协调披露的过程。
(在新标签页中打开)Project Simurgh: Privacy-Preserving Device Integrity Proofs for Capture-Resistant High-Stakes Sessions
12 页防御性后续论文,继承 The Invisible Window 研究,以仅含元数据的完整性证明替代视觉监控。
(在新标签页中打开)Privacy-Preserving Integrity Evidence for Student-Society Voting-Adjacent Workflows: A Phase C Pilot of Project Simurgh at Macquarie University
5 页投票相关流程背景下的试点,记录 Macquarie 学生社团活动同期开展的 31 次知情同意会话;不收集选票选择,采用 HMAC 审计链和禁止字段拒绝机制,并通过 5/5 数据收集结束检查关卡。
(在新标签页中打开)Banking Shield: Machine-Checked Absence Claims for Privacy-Sensitive AI Explanations
虚构、非银行研究原型,将隐私与过度声明边界转换为机器可检查证据:包含 46 个禁止字段名的防火墙,将拒绝记为审计事件;确定性离线 AI 隐私防火墙;以及锚定在会话 HMAC 审计链上的逐响应隐私凭证。在证据冻结时,417/417 单元测试、43/43 端到端检查和 27/27 安全检查均通过,涵盖三轮隐私审计和无外传静态门。五名测试者的形成性试运行共 30 次会话,证据中敏感值为零,对限制声明核对清单的理解为 5/5。
(在新标签页中打开)Aion-BibleQA: Evaluating Retrieval and Citation Faithfulness in Verse-Grounded Bible RAG Systems
8 页论文提出 40 问圣经 RAG 基准,评估引文忠实度和错误前提鲁棒性;v3 检索达到 R@5 = 0.941、平均 citation_support = 0.978,无无依据引文,并拒绝了 6/6 错误前提。
(在新标签页中打开)