HEPE: Hardware-Enforced Policy Engine — Formal Specification and Verification
Open access0 citations
Abstract
Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818830. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT 43/43. TRL-7. 21 Zenodo DOIs. CC-BY-4.0. Origin: Gerhard Hirschmann / EHOX Systems, 2026.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-10
Authors: Gerhard Hirschmann
Institutions: Tirol Kliniken