Web Platform Threats: Automated Detection of Web Security Issues With WPT.
本文提出了一种自动化检测Web浏览器客户端安全机制缺陷的实用框架。该框架利用Web Platform Tests（WPT）这一跨浏览器测试套件，自动收集浏览器执行轨迹，并将其与Web不变式进行匹配。Web不变式是用一阶逻辑表示的Web机制预
#automated-detection
共收录 3 条相关情报。
← 返回所有主题A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries.
该论文对密码库中侧信道漏洞的自动化检测工具进行了系统性评估。侧信道攻击通过分析执行时间、功耗等物理泄露来破解密码实现，开发者通常需要采用恒定时间编程来防御，但人工编写容易出错。目前已有多种自动化检测工具（如静态分析、动态分析、基于LLVM的
Automatic Detection of Fake Key Attacks in Secure Messaging.
该论文针对即时通信应用（如WhatsApp、Signal）中端到端加密的假密钥攻击问题展开研究。这类应用依赖中心化服务器分发公钥，可能被恶意或受攻击的服务器分发伪造密钥，从而实施中间人攻击或身份冒充。虽然现有应用提供了手动密钥验证机制，但用