diff --git a/podcast/66/index.markdown b/podcast/66/index.markdown new file mode 100644 index 00000000..d8c88422 --- /dev/null +++ b/podcast/66/index.markdown @@ -0,0 +1,16 @@ +--- +title: Daniele Micciancio +episode: 66 +buzzsproutId: 17389811 +recorded: 2025-02-21 +published: 2025-06-24 +--- + +Niki and Mike talked to Daniele Micciancio who is a professor at UC +San Diego. He's been using Haskell for 20 years, and works in lattice +cryptography. We talked to him about how he got into Haskell, using +Haskell for teaching theoretical computer science and of course for +his research and the role type systems and comonads could play in the +design of cryptographic algorithms. Along the way, he gave an +accessible introduction to post-quantum cryptography which we really +enjoyed. We hope you do, too. diff --git a/podcast/66/links.markdown b/podcast/66/links.markdown new file mode 100644 index 00000000..34c9ee2a --- /dev/null +++ b/podcast/66/links.markdown @@ -0,0 +1,8 @@ ++ [Daniele's homepage](https://cseweb.ucsd.edu/~daniele/) ++ [Introduction to Lattice-based Cryptography](https://cims.nyu.edu/~regev/papers/pqc.pdf) ++ [Lattice Cryptography on Wikipedia](https://en.wikipedia.org/wiki/Lattice-based_cryptography) ++ [Lattice Cryptography in Haskell](https://hackage.haskell.org/package/lol) ++ [Computational Soundness, Co-induction, and Encryption Cycles](https://link.springer.com/chapter/10.1007/978-3-642-13190-5_19) ++ [Miranda](https://en.wikipedia.org/wiki/Miranda_(programming_language)) ++ [Post-quantum cryptography](https://en.wikipedia.org/wiki/Post-quantum_cryptography) ++ [Daniele’s automata class](https://cseweb.ucsd.edu/classes/sp15/cse191-e/)