Title: Methodologies for designing block ciphers and cryptographic protocols