AI Assurance Opens Two Public PoCs for Verifiable Execution Controls
AI Assurance Inc., led by representative director Hidemitsu Maeki, published two public proofs of concept for cyber assurance that confirm both the conditions under which an AI or automated system may act and what it actually did.
1 source Nov 2
Reporting from 1 source: ASCII.jp.
Why it matters
By making the permit decision and the post-execution result check separately auditable, the company is pitching assurance at the point where critical operations are approved, not only where attacks are detected.
Key Facts
- AI Assurance Inc. is based in Shinjuku-ku, Tokyo, with Hidemitsu Maeki as representative director.
- The two public PoCs cover cold chain handovers and inter-company connectivity for a verifiable physical internet concept.
- Both public PoC models passed automated checks including formal verification with the Lean 4 theorem prover.
- The cold chain demo suppresses duplicate handovers when the same established request is resent.
- The technology does not replace attack detection or authentication and connects with them instead.
The demos cover cold chain handovers and inter-company connectivity for a verifiable physical internet concept. Both public models passed automated checks including formal verification with the Lean 4 theorem prover.
The company's framing puts formal verification at the core, with evidence re-verification and runtime enforcement controls around it. Approvals and AI proposals are not treated as execution authority as-is; conditions are checked immediately before execution and matched against results afterward.
The cold chain demo holds when records are insufficient, proceeds when the gap is filled, suppresses a duplicate handover on resend, and quarantines a result that conflicts with the confirmation target. The company states the technology does not replace attack detection or authentication and connects with them instead.
- PoC 1: Cold chain handover: Holds on missing records, proceeds when supplemented, suppresses duplicate handovers, quarantines conflicting results
- PoC 2: Inter-company connectivity: Confirms the other party's result before switching connection destinations, for a verifiable physical internet concept
Written with AI by Yomimono from the 1 cited source below, including Japanese-language reporting where cited. See our editorial policy.
Add Yomimono as a preferred source on Google