Connecting Theory And Practice In Modern Cryptography