Inferring a sequence generated by a linear congruence | IEEE Conference Publication | IEEE Xplore