From Stream to Provably Secure Block Ciphers Based on Pseudorandom Matrix Transformations Egyptian Computer Science Journal, The Egyptian Computer Science Society