Preprint
Sep 2026
FINN-Tro: Exploiting Verification Gaps in Dataflow Inference Accelerators
The growing adoption of dataflow accelerators for neural network inference introduces new attack surfaces that existing verification methodologies fail to address. Inference ac- celeration frameworks such as FINN, which transform quantized neural networks into FPGA-deployable dataflow architectures, implicitly assume s...
Qazi Arbab Ahmed, Suraj Karki, Thorsten Jungeblut
· 0 citations