The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems | IEEE Journals & Magazine | IEEE Xplore