Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities
DGX agentarXiv:2606.26933v1 Announce Type: cross Abstract: AI-assisted vulnerability discovery has proven effective for bug classes like memory safety, where instrumentation confirms memory violations and effi