Jose Cardona
where else to find them
no profile links on file
what they talk about
where they keep going back
- LambdaConf2 editions2018–2019
on a stage with
never shared a talk
who talks about the same things
- Michel Schudel10 talks
- Pawel Szulc28 talks
- Tjerand Silde4 talks
- Filippo Valsorda10 talks
- Jeffrey Cohen2 talks
- Eleanor McHugh20 talks
| title | conference | date |
|---|---|---|
| Fun with Lattices | LambdaConf 2019 | 2019-06-05 |
Explains that some lattice problems have average-case hardness equal to worst-case hardness, focuses on the shortest vector problem and the closest-vector… | ||
| Modern, Functional Cryptography (Part 1) | LambdaConf 2018 | 2018-06-03 |
Mathematics-heavy developer introduction that actually states what gets built and proved: number theory, algebra, symmetric and asymmetric schemes, PRFs/PRGs… | ||
| Modern, Functional Cryptography (Part 2) | LambdaConf 2018 | 2018-06-03 |
Workshop builds a working cryptographic library in Scala with typeclasses and runnable exercises, using tsec, SBT and IntelliJ, and shows actual code rather… | ||
| Modern, Functional Cryptography (Part 3) | LambdaConf 2018 | 2018-06-03 |
Math-heavy workshop that actually builds things: a typed cryptography library in Scala using cats/fs2/http4s and tsec (libsodium for FFI), implements Merkle… | ||
| Modern, Functional Cryptography (Part 4) | LambdaConf 2018 | 2018-06-03 |
Part 4 lays out concrete constructions and code: a functional cryptography library in Scala typeclasses, keyed MACs and HMAC‑SHA256 implementations, JWT… | ||
| Modern, Functional Cryptography (Part 5) | LambdaConf 2018 | 2018-06-03 |
Workshop promises a mathematics-heavy, developer-first route: concrete claims about hardness (Fermat little theorem, discrete logarithm, Diffie‑Hellman) and… | ||
| Modern, Functional Cryptography (Part 6) | LambdaConf 2018 | 2018-06-03 |
Math-heavy developer intro that actually shows working code and attacks: a cryptographic library built around typeclasses and laws with keys tracked by types… | ||
| ScalaZ and Cryptography | LambdaConf 2018 | 2018-06-03 |
A Scala library called TSEC/TTech adds compile‑time types to cryptography so keys, IVs and ciphertexts carry algorithm and length information; code examples… | ||
| nothing matches | ||