Some books are mathematically rigorous (e.g. Foundations of Cryptography, Modern Cryptography, Probabilistic Proofs and Pseudorandomness), others more applied (e.g. Applied Cryptography, Serious ...