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.

Create a free Academia account to let Laila El Aimani know you want this paper to be uploaded.

Ask for this paper to be uploaded.