Modern, Functional Cryptography (Part 4)

on YouTube ↗01h 05m

" summary

Part 4 lays out concrete constructions and code: a functional cryptography library in Scala typeclasses, keyed MACs and HMAC‑SHA256 implementations, JWT formation and verification with JWT base64Url signing, and authenticated‑encryption patterns used in TLS. It works through CBC‑MAC, HMAC padding, PRF composition, Euclid and modular arithmetic toward finite fields and elliptic curves. A live JWT demo shows the signing and parser logic but the run reports a timestamp/expiration mismatch even though local parsing returns true.

AI-written summary · about

" chapters (11)

1. 0:00Intro
2. 1:07Message Authentication
3. 6:40CBCMAC
4. 14:13Authentication
5. 15:25TLS
6. 21:03JWT
7. 22:26Claims
8. 41:30Euclidean Algorithm
9. 46:30Modular Arithmetic
10. 52:40Rings
11. 55:05Finite Fields

" related talks

• 37mNo way, JOSE!Sam Bellen · jsday 2022
• 31mNo way, JOSE! Cryptography basicsSam Bellen · DevBreak 2021
• 34mUnlocking the unknowns: Cryptography EssentialsIonut Balosin, Laurentiu Spilca · Voxxed Days Bucharest 2025
• 32mForay into modern symmetric cryptoDmitry Groshev · :clojureD 2017
• 48mCryptography 101 for Java developersMichel Schudel · Devoxx Belgium 2019
• 20mFixing the rusty core of the internet with functional prog.Colt Frederickson · Scale By the Bay 2017
• 52mModern Cryptography for the Java DeveloperGrigoriy Skobelev · Joker 2022
• 52mCryptography 101 for Java developersMichel Schudel · Jfokus 2019