Workaround in abstractVerificationFunction in order not to call the KeyPairGenerator: this should be solved in an other way