Provable Security in the Real World | IEEE Journals & Magazine | IEEE Xplore