Verifiable composition of signature and encryption a comprehensive study of the design paradigms - El Aimani, Laila (Springer, 2017)