Guaranteed error correction of faulty bit-flipping decoders under data-dependent gate failures | IEEE Conference Publication | IEEE Xplore