In this paper, we propose an efficient verifiably encrypted signature scheme based on bilinear pairings. The pro- posed scheme is proven secure without random oracles. Our scheme has a tight security reduction to a strong but reasonable computational assumption. To the best of our knowledge, it is the third one of this kind in the literature to achieve this security level.