Title: Modern Cryptography with Proof Techniques and Implementations