From Stream to Provably Secure Block Ciphers Based on Pseudorandom Matrix Transformations, in Proceedings of the 3rd IEEE International Conference on Communication Systems Software and Middleware - COMSWARE'08