2AWS Duvet: a bidirectional link between implementation and specification (opens in new tab)(awslabs.github.io)12forks2mo ago1
3Hax: Verifying Security-Critical Rust Software Using Multiple Provers (opens in new tab)(eprint.iacr.org)2forks2mo ago0
6Architecting Security for Agentic Capabilities in Chrome (opens in new tab)(security.googleblog.com)1forks2mo ago0
7Continuously hardening ChatGPT Atlas against prompt injection attacks (opens in new tab)(openai.com)3forks2mo ago0
10How the 'Lethal Trifecta' sets the conditions for stealing data on command (opens in new tab)(scworld.com)1forks3mo ago1
11The Missing Abstraction for AI Agents: The Agent Filesystem (opens in new tab)(turso.tech)2forks4mo ago0
13Warby Parker Partners with Google to Develop Intelligent Eyewear (opens in new tab)(warbyparker.com)1forks10mo ago0
