Release Haskell Interlude Episode 66 - Daniele Micciancio

Author: mikesperber

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.

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/)