2 papers
cs.CR2026
Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
Masato Kamba, Hirotake Murakami, Akiyoshi Sannai
Code-driven auditing fails when correctness depends on what the specification requires rather than how the code is written. Production blockchain networks expose this directly: byz…
cs.CR2026
SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients
Masato Kamba, Akiyoshi Sannai
Multi-implementation systems are increasingly audited against natural-language specifications. Differential testing scales well when implementations disagree, but it provides littl…