Introduction to modern cryptography. (2014)