LFSR seed computation and reduction using SMT-based fault-chaining | IEEE Conference Publication | IEEE Xplore