This book is about building realistic cryptosystems for which we can argue security under reasonable assumptions, and about mathematical modeling and proofs to show that a certain cryptosystem satisfies the security properties given to it.