Qazi Arbab Ahmed

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...