THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
United Kingdom, Australia, AI Agents, Formal Verification, Cybersecurity, Sandboxing, Permissions, Red Teaming and Recovery
A secure agent sandbox is still a promise until something tries to escape
Surrey, Sheffield and Melbourne are building a formally verified sandbox for AI agents. The proof will matter. So will the escape tests that ask whether its model includes stale credentials, indirect channels, sanitiser failures and the rest of the untidy system.
United States, Enterprise Security, Frontier Models and Offensive Testing
Palo Alto put several frontier models on the same red team
Unit 42 is turning gated cyber models, open-weight models and human operators into one continuous offensive service. The hard part is proving the red team stays inside the fence and makes customers safer after it finds something.