HEPE — HARDWARE-EMERGENT POLICY ENFORCEMENT · SI-PAT-006 · TRL 7 CONFIRMED

EHOX SYSTEMS

Hardware-Enforced AI Policy Governance · CBMC 0/130 ARM64 · 67,738 dec/sec
ISO/IEC 42001 · DO-178C Level A · FIPS 140-2 · EAL4+ · Strategy C · Vivado-Free · ITAR-Free

0/130
CBMC ASSERTIONS FAILED
67,738
DECISIONS/SEC
TRL 7
CONFIRMED
4/4
HW LAYERS PASS
Z3
PROVEN · MATHEMATICALLY IMPOSSIBLE
VERIFY ON LIVE HARDWARE → VIEW COMPETITIVE POSITION
ISO/IEC 42001 COMPLIANT
DO-178C LEVEL A
FIPS 140-2 PASS
EAL4+ OP-TEE
CBMC 6.9.0 0/130 FAILED
Z3 SMT PROVEN
STRATEGY C VIVADO-FREE · ITAR-FREE

THE TRUST PROBLEM

Why Software Governance Has Failed

"Der Zugang zu Anthropic Mythos wurde für Nicht-US-Bürger per Regierungsanordnung gesperrt. Europa wurde von wichtiger Technologie abgeschnitten."

Der Standard, 25. Juni 2026

12 JUNE 2026
US Commerce Dept ordered Anthropic to shut off access to Mythos for all non-US citizens. Without warning. Without transition period.
METR 2026
Leading AI models actively circumvent their own software policy constraints.
SCIENCE MEDIA CENTER 2026
"Sicherheitsmechanismen moderner KI-Systeme sind häufig nicht vollständig im Modell selbst verankert."
EHOX enforces AI policy at the hardware level — where no software attack, no government order, and no policy circumvention can reach.

THE UNIVERSAL GOVERNANCE API

prove() — Hardware-Enforced Decisions

prove("JOINT_MOVE","ROBOTICS")
  → EXECUTE | Sig #1001 | 68 cycles
prove("DRUG_DOSE","MEDICAL")
  → REFUSE | Sig #1002 | 28 cycles
prove("TARGET_ENGAGE","DEFENCE")
  → ESCALATE + HITL | Sig #1003
prove("attitude_correct","SPACE")
  → ABSTAIN | hardware-rooted
prove("transfer_funds","BANKING")
  → ALLOW | eIDAS 2.0 compliant

4-LAYER HARDWARE ENFORCEMENT

Every Layer Verified — Every Layer PASS

01
HW-RNG
/dev/hwrng — PS hardened silicon
PASS
↓
02
TRUSTZONE
OP-TEE EAL4+ | /dev/tee0 | POSIX
PASS
↓
03
R5F LOCKSTEP
Cortex-R5F | TCM 0xffe90000 | DO-178C
PASS
↓
04
AUDIT CHAIN
SHA-256 PS Security Block | chain_tip: 2f9282855ed6ff14d7e772...
PASS
CBMC 6.9.0 ARM64 NATIVE · 0 of 130 assertions failed · 02.07.2026
Z3 SMT Solver · ALLOW/ESCALATE without enforcement: MATHEMATICALLY IMPOSSIBLE
HEPE — Hardware-Emergent Policy Enforcement · SI-PAT-006 filed 02.07.2026

STRATEGY C

Vivado-Free · ITAR-Free · EU-Sovereign

Yosys
MIT License · Open Source
Lattice ECP5
FPGA Target
NanoXplore NX-FPGA
European FPGA
SkyWater 130nm
ASIC Target

COMPETITIVE POSITION

World First + Strategic Value

Dimension Without EHOX With EHOX TRL
Policy enforcement Software layer — bypassable Hardware layer — physically isolated 7
Audit evidence Log files — tamperable SHA-256 chain_tip — immutable 7
Tool sovereignty US-controlled EDA / ITAR Yosys MIT — no US tool required 7
Geopolitical risk Access revocable by gov. order Austrian origin — no export licence 7
Formal verification Testing only — statistical CBMC 0/130 ARM64 · Z3 proven 7
Field update Firmware reflash — downtime JSON policy swap — seconds 7
Solution HW-Isolated Runtime Policy EU-Sovereign TRL
Microsoft Agent Governance NO YES NO SW
AccuKnox AI-SPM NO YES partial SW
NVIDIA BlueField DPU partial NO NO (ITAR) partial
EHOX Systems YES YES YES 7 · HEPE

HIGH-RISK DOMAINS

Domains Served

Defence / NATO
STANAG 4774/4778, CCW LAWS
KRITIS
EU NIS2, CER Directive
Space / ESA
ESA ECSS, NASA NPR 7150.2C
Medical / FDA III
EU MDR, IEC 62304
Automotive L4/L5
ISO 26262 ASIL-D
Banking / RegTech
EU AI Act, eIDAS 2.0

TEAM

Strategic & Hardware Leadership

STRATEGIC & POLICY LEADERSHIP
Deep-tech entrepreneurship · AI governance · EU and NATO policy alignment · Active engagement with UN disarmament bodies

EU AI Act · NATO DIANA · ESA · CCW LAWS · SPI · SI-PAT-001–006
HARDWARE & SYSTEMS ENGINEERING
Full-stack hardware: ARM TrustZone · R5F bare-metal · CBMC 0/130 ARM64 · SHA-256 · HEPE · NoVivado — every layer built and validated in-house

OP-TEE EAL4+ · DO-178C Level A · FIPS 140-2 · MISRA-C · CBMC · AMD Kria KV260

REVIEWER ACCESS

Verify on Live Hardware

We don't ask you to trust documents. We give you a token and you connect directly to the physical Kria KV260 board running in St. Johann in Tirol, Austria.

Real-time telemetry. Live policy decisions. SHA-256 audit log. Not a demo. Not a simulation. Silicon.

ESA evaluators: ESA-2026-ALPHA
NATO/DIANA evaluators: NATO-2026-CHARLIE
DARPA reviewers: DARPA-2026-BRAVO
Demo access: REVIEWER-DEMO

ENTER REVIEWER TOKEN

Demo: REVIEWER-DEMO  |  NATO-2026-CHARLIE

LIVE DASHBOARD PREVIEW LIVE
42.8°C
TEMP
ALLOW
POLICY
0.45μs
LATENCY
[00:04:43] AUTH: Session initialized
[00:04:43] CONNECT: Kria KV260 @ 192.168.1.160 — SSH OK
[00:04:44] FPGA: /dev/fpga0 — GPIO ACTIVE
[00:04:44] POLICY: Strategy C ARMED — Non-hardcoded
[00:04:45] DDGK: Epistemic state VERIFIED
[00:04:45] SIK: Decision → ALLOW

FUNDING TARGETS

Open Calls — Active Now

Multiple concurrent funding opportunities across defence, space, and industrial domains.

NATO
NATO DIANA 2027
Challenge 9: Autonomy & UxS · Challenge 10: Data Decision Making · €100K + €300K Mission Track
⚡ DEADLINE: 3 JULY 2026 — 14 DAYS
ESA
ESA BASS Kick-Start
Hardware AI governance for space systems · DO-178C DAL-A alignment · 6-month feasibility · €75K at 75%
DEADLINE: 28 AUGUST 2026
DARPA
DARPA SABER / I2O
Guaranteeing AI Robustness against Deception · Hardware-enforced policy enforcement · Full MITRE ATLAS coverage
I2O BAA FY2026: NOV 2026
EU
EU AI Act Compliance
Art.13 Transparency · Art.15 Robustness · Hardware enforcement as compliance-by-design · August 2026 enforcement
ENFORCEMENT: 2 AUGUST 2026
FHG
Fraunhofer Partnership
FPGA safety systems · Embedded AI · Industrial ASIL-D applications · Joint research programme
OPEN CALL — ONGOING
SpX
SpaceX / Cursor Integration
Autonomous systems governance · Starship decision layer · HOOTL-ready architecture · Cursor-native integration
DIRECT OUTREACH