Verifiable Composition of Signature and Encryption - Laila El Aimani (Springer, 2017)