Modern
Cryptography
with Proof
Techniques and
Implementations