Cryptography in Theory and Practice: The Case of Encryption in IPsec