A Novel SMT-Based Technique for LFSR Reseeding | IEEE Conference Publication | IEEE Xplore