Provably Secure and Generalized Signcryption With Public Verifiability for Secure Data Transmission Between Resource-Constrained IoT Devices | IEEE Journals & Magazine | IEEE Xplore