This introduction to cryptography uses a programming-oriented approach to study important current cryptographic schemes and the main cryptanalytic attacks against them. The Maple implementations include many examples with parameters of realistic size.
In this book, the author provides a fresh algebraic look at the theory of locally decodable codes and private information retrieval schemes. The author's related thesis won the ACM Dissertation Award in 2007, and this book includes some expanded sections.
Multivariate public key cryptosystems (MPKC) is a fast-developing area in cryptography. This book systematically presents the subject matter for a broad audience and is the first book to focus on this exciting new topic.
This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.
Digital Video Protection describes the key aspects of content protection and DRM systems, demystifying the technology and techniques. The text covers the rationale for protecting digital video content, video piracy, watermarking, and more.