Hirotake Murakami
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1
Frequent co-authors
Research Timeline
2026
Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
The paper introduces SPECA, an LLM-driven framework that audits distributed protocols by deriving and enforcing security properties from natural-language specifications, enabling cross-implementation comparison to find subtle bugs.
Highlighted terms show continued research focus across papers