Modern Cryptography with Proof Techniques and Implementations