TEE Anchor: Cross-TEE Organizational Endorsement for Mitigating TEE Physical Attacks
2025 年，针对可信执行环境（TEE）的物理访问类攻击被陆续披露（如 TEE.fail、Battering RAM），此类攻击需要攻击者能够物理接触目标机器，因而对当前 TEE 部署构成严重威胁。论文的核心观察是：目标机器的物理防护越严格
#x509
共收录 4 条相关情报。
← 返回所有主题X-amine509: Predicting the Practical Risk Level of Enterprise X.509 Certificates
该论文针对企业级 X.509 证书资产管理中的优先级排序难题提出解决方案。大型组织往往持有数百万张证书，虽然有基于 CA/Browser Forum 基线要求、NIST IR 8547/SP 800-57 及密码强度标准构建的确定性合规检查
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.
X.509 公钥基础设施（PKI）是广泛使用的可扩展且灵活的身份认证机制，但其标准文本由自然语言编写，存在设计复杂、歧义和欠规定（under-specification）等问题，导致实现者难以完全遵循标准。实际中，很多 X.509 实现库因
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.
本文提出了 ARMOR，这是首个针对 X.509 证书链验证逻辑（CCVL）的大规模形式化验证实现，旨在为 RFC 5280 的大部分内容提供机器可检查的正确性保证。ARMOR 的设计目标有两个：一是作为 RFC 规范的形式化、机器可检查的