Verifiable Composition of Signature and Encryption

This book provides a thorough treatment of the celebrated composition of signature and encryption transformations

The text takes an instructive approach to analyze and explain the shortcomings of the existing paradigms used to build the necessary cryptographic primitives

The author endeavors to gradually supplement and reinforce the security model in which the primitives are being analyzed

Autorentext
Laila El Aimani is researcher in cryptology and assistant professor at Cadi Ayyad University, Morocco.
In 2011, she graduated from Universität Bonn (Germany) as a Dr.rer.nat under the supervision of Joachim von zur Gathen. A good part of her PhD research was dedicated to the design and analysis of privacy-preserving mechanisms (e.g. undeniable/confirmer signatures, signcryption).
Later, she joined the Security Labs of Technicolor (France) as a research engineer in security and privacy. After a short sojourn in Gemalto (France) in 2013, she joined the computer science department of Cadi Ayyad University (Morocco) as a researcher and assistant professor. Laila filed three patents on applied cryptology, and co-authored several research papers on cryptology/security.

Inhalt
Part I: Background.- 1. Preliminaries.- 2. Case-study primitives.- Part II: the "Sign then Encrypt" (StE) paradigm.- 3. Analysis of StE.- 4. An efficient variant of StE.- Part III: The "Commit then Encrypt and Sign" (CtEaS) paradigm.- 5. Analysis of CtEaS.- 6. CtEtS: an efficient variant of CtEaS.- Part IV: New paradigms.- 7. EtStE: a new paradigm for verifiable signcryption.- 8. Multi-user security.- 9. Insider privacy.-10. Wrap - up.