SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems - A Case Study on Ethereum Clients. - Masato Kamba; Akiyoshi Sannai (CoRR, 2026)

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification. - Masato Kamba; Hirotake Murakami; Akiyoshi Sannai (CoRR, 2026)