Masato Kamba

Identifiers

No identifiers captured yet.

Papers (1)

1. Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols cs.CR · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Akiyoshi Sannai 1 shared papers
• Hirotake Murakami 1 shared papers