Wrap-Up

Abstract

Among the panoply of cryptographic applications that erupted with the electronic era, we confined ourselves to the study of applications that require integrity and authenticity of the transmitted data, in addition to confidentiality combined with the possibility of proving given properties about the hidden information. Our study was conducted in the context of two cryptographic primitives, namely confirmer signatures and signcryption. However, we expect the approach to be extended, at least partially, to further cryptographic systems that hinge upon digital signatures and verifiable encryption. In this summary, we highlight the key steps of our work that are likely to occur when studying the aforementioned systems.