This book is similar in scope to the previous one, with less focus on provable security. There is still some presentation of more traditional game-based security, but this is slowly introduced, rather than being used pervasively.

Unlike the previous book, there’s also a better coverage of public key Cryptography. Many of the same topics as in “An Introduction to Mathematical Cryptography” are covered, but with more focus on algorithms rather than the mathematics.

The book also has some very nice presentation on more advanced topics, like Zero-Knowledge proofs and secure multi-party computation, as well as concrete examples, such as TLS certificates.

This book might even be a good introduction, but I think the material is hard enough to make this more suitable as a second book.