Verifiable Composition of Signature and Encryption: A Comprehensive Study of the Design Paradigms

Description

This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data. This study is provided in the context of two cryptographic primitives: (1) designated confirmer signatures, an opaque signature which was introduced to control the proliferation of certified copies of documents, and (2) signcryption, a primitive that offers privacy and authenticity at once in an efficient way. This book is a useful resource to researchers in cryptology and information security, graduate and PhD students, and security professionals. Front Matter ....Pages i-xx Front Matter ....Pages 1-1 Preliminaries (Laila El Aimani)....Pages 3-30 Case-Study Primitives (Laila El Aimani)....Pages 31-45 Front Matter ....Pages 47-47 Analysis of StE (Laila El Aimani)....Pages 49-65 An Efficient Variant of StE (Laila El Aimani)....Pages 67-82 Front Matter ....Pages 83-83 Analysis of CtEaS (Laila El Aimani)....Pages 85-91 CtEtS: An Efficient Variant of CtEaS (Laila El Aimani)....Pages 93-104 Front Matter ....Pages 105-105 EtStE: A New Paradigm for Verifiable Signcryption (Laila El Aimani)....Pages 107-113 Multi-User Security (Laila El Aimani)....Pages 115-124 Insider Privacy (Laila El Aimani)....Pages 125-136 Wrap-Up (Laila El Aimani)....Pages 137-138 Back Matter ....Pages 139-145