/
自动化验证 关键字列表
ZAST.AI获得600万美元Pre-A轮融资，主攻"零误报"AI代码安全
ZAST.AI宣布完成600万美元Pre-A轮融资，由高瓴资本投资。该公司在2025年发现数百个零日漏洞，涉及微软Azure SDK、Apache Struts等知名开源项目，成功获得119个CVE编号。其核心创新在于"自动PoC生成+自动验证"技术架构，利用AI深度分析代码，自动生成和验证漏洞概念验证代码，实现"零误报"突破，改变传统安全工具高误报率痛点。
Cisco 发布 AI Defense：应对大规模 AI 安全挑战
随着人工智能在各行业的快速普及，企业面临着AI应用的安全风险。为此，思科推出了AI Defense安全解决方案，旨在通过整合企业网络和云环境中的可视性、验证和执行功能，帮助组织保护AI部署。该方案体现了企业对AI安全的重视，以及业界在AI治理和监管方面的发展趋势。
白皮书
京公网安备 11010802021500号
