certificates

This paper presents a certificate-carrying sub-quadratic method for computing bisimulation metrics in Markov decision processes using approximate nearest neighbors, with coverage-augmented guarantees and two-sided bounds. Experiments show improved scaling and accurate metric recovery compared to baselines.

本文引入了统计算法统计有效性的可公开验证证书（pvCSVs）概念，在不交互的情况下实现了学习结果的分布鲁棒性认证。作者为自适应统计查询算法构建了pvCSVs，其样本复杂度随查询次数呈对数增长。

介绍了如何使用分视域DNS、带DNS解析器的VPN以及ACME客户端（如acme.sh配合Let's Encrypt）来为内部服务设置TLS证书，为自签名证书提供了实用的替代方案。

本文讨论了信息窃取型恶意软件窃取身份验证令牌的问题，并探讨了Dirk Balfanz在15年前提出的一项提案：使用自签名客户端证书进行TLS双向认证，从而将令牌绑定到特定设备，即使令牌被窃取也无法重用。

本文提醒Linux发行版注意微软用于安全启动的UEFI CA证书即将到期，介绍了新证书以及在缺少旧证书的较新硬件上可能出现的启动问题。

本文形式化了多模态智能体中的幻觉到动作转换，并提出了携带证据的智能体（ECA），它使用受限验证器仅授权安全的工具调用，在200个任务的流水线上实现了0%的不安全动作率。