Skip to content
STIMSMITH

CellIFT

Tool
First seen 6/13/2026
Last seen 7/6/2026
Evidence 8 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

7 connections
μCFI: Formal Verification of Microarchitectural Control-flow Integrity ← uses 100% 2e
The paper uses CellIFT for information flow tracking in the verification approach.
Differential Information Flow Tracking ← derived from 95% 2e
Differential IFT is derived from CellIFT but modifies control taint propagation rules to avoid over-tainting.
shadow logic implements → 100% 2e
CellIFT instruments designs by adding shadow logic to each state bit.
μCFI verification toolchain ← uses 100% 2e
The μCFI verification toolchain uses CellIFT for IFT instrumentation.
CellDFT ← derived from 100% 2e
CellDFT is a variant of CellIFT that blocks taint propagation through control paths.
cell-level taint instrumentation implements → 100% 2e
CellIFT instruments designs at the cell level with shadow taint logic.
Hardware Dynamic Information Flow Tracking implements → 100% 1e
CellIFT implements hardware dynamic information flow tracking and suffers from the control flow over-tainting problem.