本文研究通过分支定界方法改进线性规划和半定规划松弛技术，以提升ReLU神经网络对抗对抗性输入扰动的鲁棒性认证效果。实验证明该方法在MNIST、CIFAR-10等数据集上显著提高测试样本的认证比例。
本文详细记录了作者如何通过一个被遗忘的二级域名发现未修复的SSRF漏洞，利用HTTP重定向链绕过防护获取AWS元数据，并探讨了云环境中的关键安全问题。
本文详细记录了Trail of Bits团队对Axiom基于Halo2框架开发的零知识证明电路系统的安全审计过程，揭示了4个高危漏洞及31个安全问题，并分享了在低层级ZK电路约束系统审查中的关键经验。
本文深入解析DevSecOps核心概念，揭示如何将安全左移到开发全生命周期，探讨传统边界安全失效背景下，通过自动化工具链实现安全与敏捷开发的有机融合。
本文详细介绍了一种基于编辑树算法的机器学习词形还原器，该技术通过自动学习词形变化规则，在多种语言中实现了95%以上的准确率，显著提升了spaCy框架的词形还原性能。
本文深入探讨了Web Components中的Shadow DOM技术，详细讲解了其工作原理、创建方式、配置选项以及内容插槽机制，帮助开发者理解如何利用Shadow DOM实现组件封装和样式隔离。
本文提出MISTR方法，通过递归填补生存树处理右删失数据，解决传统方法在重度删失场景下的局限性，并支持工具变量设定，为医学等领域的个性化治疗效应评估提供新工具。
本文深入分析了开放WiFi与WPA2-PSK加密网络的实际安全风险，揭示了常见的误解，并提供了实用的安全建议，帮助用户在公共网络中保护自己的数据安全。
本文介绍了Trail of Bits团队开发的osquery扩展，该扩展能够深入提取NTFS文件系统的取证元数据，包括时间戳、安全描述符、替代数据流(ADS)等信息，为事件响应提供更强大的文件系统取证能力。
本文详细记录了Trail of Bits团队在首届osquery技术大会QueryCon上的见闻与收获，涵盖社区规模、创新用例、技术贡献等核心内容，并分享了两场关于osquery超级功能与非常规扩展的技术演讲。