Verifiable composition of signature and encryption : a comprehensive study of the design paradigms /: a comprehensive study of the design paradigms. (2017)