The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. - Mouha, Nicky; Hailane, Asmaa (Computer (00189162), 2021)