~/talk

Modern, Functional Cryptography (Part 2)

Talkat LambdaConf 2018 · 2018-06-03..06-05· [security]
links:none on file
slides:none on file

Workshop builds a working cryptographic library in Scala with typeclasses and runnable exercises, using tsec, SBT and IntelliJ, and shows actual code rather than theory. Concrete claims: AES CTR/GCM nonce reuse lets an attacker recover plaintext via XOR given a chosen plaintext oracle. The session walks through a hands‑on cryptographic library based on laws and typeclasses, offers a reproducible CTR nonce-reuse chosen-plaintext XOR exercise, and demonstrates how the examples run and fail when IVs or key management are wrong.

AI-written summary · about

  1. 0:00Start
  2. 7:32Symmetric Crypto
  3. 12:06Cipher Exercises
  4. 33:14Chosen Plaintext Attack
  5. 44:36Sticky Sessions
  6. 45:12Hash Functions
  7. 45:33Fixed Length Hash Functions
  8. 45:54Keyed and Unkeyed Hash Functions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.