Auditing Cryptographic Protocols with Nadim Kobeissi

Summary

In this in-depth interview, Nadim Kobeissi shares his extensive experience in cryptography audits, the limitations of formal verification, responsible disclosure practices, and the future of cryptography and security, including post-quantum cryptography and AI's impact on cybersecurity.

Keywords

cryptography, security audits, formal verification, post-quantum cryptography, zero-knowledge proofs, responsible disclosure, cryptographic protocols, AI cybersecurity, cryptography research, software security

Key Topics

• Cryptography audit process and focus areas
• Limitations of formal verification tools
• Responsible disclosure methodology
• Future threats in cryptography including AI and quantum computing
• Educational tools for understanding cryptographic protocols

Sound Bites

"Cryptography is about designing systems that are mathematically sound."

"Claims of formal verification being bug-free are often exaggerated."

"AI will be used to stockpile vulnerabilities and exploits."

Links

Nadim’s website: https://nadim.computer/

Nadim’s LinkedIn: https://www.linkedin.com/in/nadimkobeissi

https://symbolic.software/

https://cure53.de/