Skip to content
HomeVideosBooksBlogsPodcasts
EpisodesShowsTopics
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K
    Artwork for Security Cryptography Whatever
    Episode

    High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

    Security Cryptography Whatever · Jan 29, 2024 · 56 min

    We welcome Franziskus and Karthik from Cryspen to discuss their new high-assurance implementation of ML-KEM (the final form of Kyber), discussing how formal methods can both help provide correctness guarantees, security assurances, and performance wins for your crypto code! Transcript: https://securitycryptographywhatever.com/2024/01/29/high-assurance-kyber/ Links…

    Related

    • Preparing for Q-Day

      Software Engineering Daily • Jun 16, 2026 • 46 min

    • Can AI Break Cryptography? What the Experts Actually Think

      The a16z Show • Oct 13, 2026 • 42 min

    • Motion: Scalability is impossible without sharding and layer-2 solutions (Georgios Konstantopoulos vs. Anatoly Yakovenko, cohost: Tarun Chitra)

      The Blockchain Debate Podcast • Jul 21, 2020 • 1 h 43 min

    • SE Radio 678: Chris Love on Kubernetes Security

      Software Engineering Radio - the podcast for professional software developers • Jul 23, 2025 • 55 min