New Conditional Differential Cryptanalysis for NLFSR-based Stream Ciphers and Application to Grain v1 | IEEE Conference Publication | IEEE Xplore