ScalaZ and Cryptography
summary
A Scala library called TSEC/TTech adds compile‑time types to cryptography so keys, IVs and ciphertexts carry algorithm and length information; code examples show generating a key, encrypting and decrypting AES-128-CTR under an IO effect with an IV strategy and a newtype plain text wrapper rather than raw bytes, plus HMAC signing and verification. Bindings include BouncyCastle and libsodium and benchmarks claim libsodium 10x faster for AES‑GCM; the implementation compiles and prevents many runtime mistakes.
AI-written summary · about
chapters (7)
- 0:00ScalaZ and cryptography intro
- 1:16Java crypto API problems
- 7:50TSEC introduction
- 10:00Encrypting with TSEC
- 17:43Decrypting and type safety
- 20:16Signing messages with TSEC Mac
- 23:34Future of ScalaZ crypto
related talks
39mCryptic - keeps your secrets
01h 34mIntro to Cryptol and High Assurance Crypto Engineering
20mFixing the rusty core of the internet with functional prog.
43mPractical cryptography with Tink
34m"The Cryptography State of the Union"
31mSecurity with Scala Refined Types and Object Capabilities
25mCryptography Isn't Scary
41mFormally Verifying Everybody's Cryptography