Ali Asgar Sohanghpurwala, Daniel Gibson, Scott J. Harper, Jonathan Graf, Timothy Dunham: PV-Bit: Private Verification of FPGA Bitstreams Via Bitstream Equivalence Checking. SecDev 2025: 204-213