An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices | IEEE Journals & Magazine | IEEE Xplore