InfoBedingungenDatenschutzKontakt
 
Wird aktualisiert
CypherTalk

CypherTalk

Veröffentlicht: 2026-04-21
© Copyright 2026 All rights reserved.
CypherTalk - QR Code
7 Folgen
Audio
Anhören auf Apple Podcasts
7 Folgen
Audio
Anhören auf Apple Podcasts
Veröffentlicht: 2026-04-21
© Copyright 2026 All rights reserved.
Aktuelle Folge
Auditing Cryptographic Protocols with Nadim Kobeissi

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 cry
Länge: 53:55
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/
Folgen-ID: 1000762901399
GUID: cyphertalk.podbean.com/e74aa1b3-372b-3fe1-99aa-f6ce60b2fadc
Erscheinungs­datum: 21.4.2026, 17:01:53

Beschreibung

CypherTalk is a twice-monthly podcast on the realities of cybersecurity and privacy in a world that’s moving faster than our defenses.
Hosted by Jade Doherty (who translates technical security into plain English) alongside rotating security and privacy experts — including co-host Stefan Beyer, co-founder of Oak Security — the show explores how modern cybersecurity attacks actually happen: not just through bugs in code, but through people, processes, supply chains, and the tools we rely on every day.
The show also looks at the latest trends in privacy and its supporting technologies, such as cryptography and zero-knowledge proofs. 
Expect conversations that balance big-picture trends (AI-driven threats, privacy tech like zero-knowledge, shifting security standards) with practical takeaways you can apply immediately — whether you’re a developer, a founder, or simply someone who uses the internet.
Less hype. More clarity. Better security and privacy habits.

Apple Podcasts: Kundenrezensionen

Kein Eintrag