Episode 24: CryptoHack's Collection of Cryptic Conundrums!

Episode 1: Post-Quantum TLS With KEMs Instead of Signatures!: KEMTLS is a modified version of TLS 1.3 that uses Key Encapsulation Mechanisms, or KEMs, instead of signatures for server authentication, thereby providing a sort of “post-quantum TLS”. But what even are KEMs? Are quantum computers even a thing that we should be worried about? On the first ever episode of Cryptography FM, we’ll be hosting Dr. Douglas Stebila and PhD Candidate Thom Wiggers to discuss these questions and more. by Cryptography FM

36 min listen

Episode 2: Breaking Lightweight Symmetric Cryptography!: Léo Perrin talks about how his team at INRIA was able to find serious breaks in the Gimli family of lightweight symmetric primitives, and why NIST's lightweight cryptography competition even matters in the first place, especially with block ciphers like AES dominating the industry. by Cryptography FM

34 min listen

Episode 4: Formally Verifying Your Taxes With Catala!: Formal verification has been used to prove the security of cryptographic protocols like Signal and TLS – but can it also be used to verify the correctness of legislation? Denis Merigoux tells us about how Catala wants to use formal methods to verify the French tax code. by Cryptography FM

44 min listen

Episode 3: BLAKE3, A Parallelizable Hash Function Using Merkle Trees!: Jack O'Connor and Jean-Philippe Aumasson discuss how Merkle Trees make the new BLAKE3 hash function special, and talk about the design process for the BLAKE family of hash functions in general. by Cryptography FM

46 min listen

Episode 12: Special Real World Crypto 2021 Pre-Conference Coverage!: In this special episode, Nadim and Benjamin go through the entire program of IACR Real World Crypto 2021 in preparation for an exciting conference! by Cryptography FM

98 min listen

Episode 9: Off-the-Record Messaging and PKI Implementations!: Sofía Celi of Cloudflare talks about the latest version of Off-the-Record secure messaging protocol, why deniability is important, and more. by Cryptography FM

42 min listen

Episode 10: Exploiting Authenticated Encryption Key Commitment!: Ange Albertini and Stefan Kölbl discuss how new research from Google, the University of Haifa and Amazon is exploiting authenticated encryption to make a PDF decrypt into... a different PDF. And much more. by Cryptography FM

47 min listen

Episode 6: Proving the Existence of Vulnerabilities With Zero-Knowledge Proofs!: Dr. David Archer of Galois discusses using zero-knowledge proof in order to prove the existence (or lack of) a software vulnerability without sharing details about the vulnerability itself. by Cryptography FM

41 min listen

Episode‌ ‌8:‌ ‌Breaking‌ ‌Elliptic-Curve‌ ‌Signatures‌ ‌With‌ ‌LadderLeak!‌: LadderLeak is a new attack that exploits side channels present in ECDSA, claiming to allow real-world breaking of ECDSA with less than a bit of nonce leakage. But what does “less than a bit” mean in this context? Is LadderLeak really that effective at breaking ECDSA, with so little information to go on? Joining us this episode are LadderLeak co-authors Akira Takahashi, Mehdi Tibouchi and Yuval Yarom to discuss these questions and more. by Cryptography FM

42 min listen

Episode 5: Isogeny-based Cryptography for Dummies! by Cryptography FM

49 min listen

Episode 7: Scaling Up Secure Messaging to Large Groups With MLS! by Cryptography FM

45 min listen

Episode 13: Zero-Knowledge STARKs in the Real World! by Cryptography FM

47 min listen

Episode 11: Breaking the Rainbow Post-Quantum Cryptography Candidate!: Serious weaknesses are uncovered in one of NIST's post-quantum cryptography finalists. Ward Beullens joins us to talk about his new research and more. by Cryptography FM

38 min listen

Episode 14: Schnorr, Factoring and Lattices!: Did Schnorr "destroy RSA" with his surprising ePrint submission? Lattice cryptography expert Léo Ducas joins Nadim from CWI, Amsterdam to discuss this topic and more on Cryptography FM. by Cryptography FM

47 min listen

Episode 18: Optimizing Cryptography for Microcontrollers!: Nadim talks with Peter Schwabe and Matthias Kannwischer about the considerations — both in terms of security and performance — when implementing cryptographic primitives for low-level and embedded platforms by Cryptography FM

37 min listen

Episode 15: Bringing Secure Multiparty Computation to the Real World!: Nadim talks with Yehuda Lindell and Nigel Smart of Unbound Security about how multi-party computation can enter the real world, away from the blank slate of academia. by Cryptography FM

47 min listen

Episode 16: Contact Discovery in Mobile Messengers!: Do we really need to rely on sharing every phone number on our phone in order for mobile messengers to be usable? What are the privacy risks, and do better cryptographic alternatives exist for managing that data? Joining us are researchers looking exactly into this problem, who will tell us more about their interesting results. by Cryptography FM

47 min listen

Episode 22: Three Lessons from Threema: Breaking a Secure Messenger!: Threema is a Swiss encrypted messaging application. It has more than 10 million users and more than 7000 on-premise customers. Prominent users of Threema include the Swiss Government and the Swiss Army, as well as the current Chancellor of Germany, Olaf Scholz. Threema has been widely advertised as a secure alternative to other messengers. Kenny, Kien and Matteo from the ETH Zurich Applied Cryptography Group present seven attacks against the cryptographic protocols used by Threema, in three distinct threat models. All the attacks are accompanied by proof-of-concept implementations that demonstrate their feasibility in practice. by Cryptography FM

52 min listen

Episode 19: Cross-Protocol Attacks on TLS with ALPACA!: Nadim discusses a new line of cross-protocol attacks on TLS with Marcus Brinkmann and Robert Merget, made possible via the new ALPACA Attack, research published this year at the USENIX Security Symposium. by Cryptography FM

42 min listen

Episode 17: Breaking Wi-Fi With Frame Attacks!: Mathy Vanhoef breaks Wi-Fi security yet again, with a new frame aggregation attack that affects all Wi-Fi encryption standards since 1997 and up to today. by Cryptography FM

36 min listen

Episode 20: Cryptanalysis of GPRS: GEA-1 and GEA-2!: Were GPRS's encryption ciphers deliberately backdoored? Nadim discusses this question with cryptanalysts Gaëtan Leurent and Håvard Raddum. by Cryptography FM

43 min listen

Episode 21: Proving Fundamental Equivalencies in Isogeny Mathematics!: Benjamin Wesolowski talks about his latest paper in which he mathematically proved that the two fundamental problems underlying isogeny-based cryptography are equivalent. by Cryptography FM

47 min listen

Episode 23: Psychic Signatures in Java!: Nadim and Lucas talk to Neil Madden about his discovery of the "Psychic Signatures" vulnerability in Java, allowing attackers to completely bypass cryptographic signature checks in Java platforms in highly sensitive security contexts. by Cryptography FM

53 min listen

Episode 24: CryptoHack's Collection of Cryptic Conundrums!: For several years, CryptoHack has been a free platform for learning modern cryptography through fun and challenging programming puzzles. From toy ciphers to post-quantum cryptography, CryptoHack has a wide-ranging and ever increasing library of puzzles for both the aspiring and accomplished cryptographer. On this episode, Nadim and Lucas are joined by Giacomo Pope and Laurence Tennant, the founders of CryptoHack, to discuss how the platform came to be, and how it evolved, as well as how to improve cryptographic pedagogy more broadly. by Cryptography FM

49 min listen

Discover this podcast and so much more

Episode 24: CryptoHack's Collection of Cryptic Conundrums!

Episode 24: CryptoHack's Collection of Cryptic Conundrums!

Description

Titles in the series (24)

More Episodes from Cryptography FM

Related podcast episodes