activity
20112026
most citedUniversal approximations of permutation invariant/equivariant functions by deep neural networks

45 citations · 97 across the 32 of their papers we have counts for

collaborators
Showing cs.CRShow all

2 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.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…