Publications — EHOX® Inside

⚠️ Publication Status: Pre-Release

Zenodo DOIs are currently reserved but not yet published. Publications will be released following independent third-party verification and peer review. For current technical evidence, please visit the Reviewer Portal for live hardware verification.

Formal Verification (In Preparation)

CBMC Formal Verification — ARM Cortex-R5F Policy Engine

537/537 assertions verified | Zero counterexamples | Target: CC-BY-4.0

Status: Preparing for Zenodo submission

Z3 SMT Theorem Proving — Temporal Safety Properties

43/43 properties proven | Decidable authorization model | Target: CC-BY-4.0

Live verification: api.paradoxonai.at/formal

Hardware-Enforced Cryptographic Authorization for AI Policy Governance

First production implementation | AMD ZynqMP Kria KV260 | August 2026

Status: Awaiting independent verification

Live Evidence & Verification

Reviewer Portal — Interactive Hardware Verification

Issue a reviewer token and run live decision tests against the R5F silicon

Reviewer Portal →

Formal Verification Status (Live API)

Real-time CBMC and Z3 verification status

api.paradoxonai.at/formal