Verifiable Short Signcryption without Random Oracle | IEEE Conference Publication | IEEE Xplore