INSAIT Tech Series: Prof. Kenneth Paterson - Cryptography in the Wild

Abstract Studying “cryptography in the wild” means finding examples of cryptography being used in standards, products or deployed systems, then analysing them by either finding vulnerabilities and reporting them or by building security models and proofs for the cryptographic cores of these systems. The end result of this kind of analysis is that users gain greater assurance about the security of the systems on which they rely. In this talk I’ll reflect on the methodology by which we conduct this kind of work, what it tells us about how developers see cryptography, and what we can learn from it as a community of researchers and educators.