Efficient and provably secure certificateless signcryption from bilinear maps | IEEE Conference Publication | IEEE Xplore