Masato Kamba

According to our database¹, Masato Kamba authored at least 2 papers in 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification.

[DOI]

CoRR, April, 2026

SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems - A Case Study on Ethereum Clients.

[DOI]

CoRR, February, 2026