LFSR seed computation and reduction using SMT-based fault-chaining. - Dhrumeel Bakshi; Michael S. Hsiao (DATE, 2013)