Case-Study Primitives (original) (raw)

Verifiable Composition of Signature and Encryption, 2017

Abstract

This chapter introduces the primitives subject to the study, namely designated-confirmer signatures and signcryption. The presentation covers the syntax of the mentioned primitives in addition to their security properties. Since establishing a formal security model for a cryptographic system is a real challenge and divergence between cryptographers, we subject the model we adhere to to an in-depth comparison with the already established ones; our goal is to have well-reasoned and stringent security properties which capture various attack scenarios.

Laila El Aimani hasn't uploaded this paper.

Let Laila know you want this paper to be uploaded.

Ask for this paper to be uploaded.