Skip to content

Hamartia Simple

Hamartia

About
Install
Components
Components
- API
  API
  - Overview
  - Design
- Instruction-Level Injector
  Instruction-Level Injector
- RTL Gate-Level Injector
  RTL Gate-Level Injector
- Timing Error Injector
  Timing Error Injector
  - Overview
  - Cross-Layer Injection
Error Models
Error Models
- Simple
- High-fidelity
Detector Models
Detector Models
- Simple Simple
  Table of contents
  - Available simple detector models:
- High-fidelity
Publications

Simple

We currently implement arithmetic residuce checkers with one and two moduli. Note that residue checkers only protect integer ADD, SUB, and MUL instructions.

Available simple detector models:

X and Y are positive integers (usaually 3, 5, or 7).

MODX: residue checker with one modulo
MODX_Y: residue checker with two moduli