Efficient verifiably encrypted signature scheme