Hirotake Murakami

Aichi Prefectural Aichi High School of Technology and Engineering

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Red-Teaming & Adversarial Robustness (1)

Frequent co-authors

Masato Kamba (1)Akiyoshi Sannai (1)

Papers (1)

Apr 29, 2026

Nyx Foundation3w ago·also Aichi Prefectural Aichi High School of Technology, Kyoto

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

Code-level security audits miss vulnerabilities arising from specification requirements, but SPECA finds them by reasoning directly from natural language specs.

Masato Kamba, Hirotake Murakami, Akiyoshi Sannai

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Red-Teaming & Adversarial Robustness

Search

Hirotake Murakami

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)