Cryptanalysis of Skipjack Reduced to 31 Rounds Using Impossible Differentials