Skip to content

Release Haskell Interlude Episode 66 - Daniele Micciancio #525

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 24, 2025
+24 −0
Merged

Release Haskell Interlude Episode 66 - Daniele Micciancio #525

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions podcast/66/index.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
8 changes: 8 additions & 0 deletions podcast/66/links.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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/)