45 citations · 97 across the 32 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
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.HC2026
Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
Banri Yanahama, Akiyoshi Sannai
AI-driven autoformalization of mathematics is advancing rapidly. However, the type checker of a proof assistant guarantees only the logical correctness of proofs; it does not verif…
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…