We had our first student talk this week by Abrahim Ladha on Provable Security and Cryptocurrency. Slides are here along with his references below. If you would like to know more about Abrahim, he has a website here.


[1] Introduction to Modern Cryptography. Bellare, Rogaway. http://web.cs.ucdavis.edu/~rogaway/classes/227/spring05/book/main.pdf

[2] Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis. Jelle van den Hooff, David Lazar, Matei Zaharia, and Nickolai Zeldovich. https://people.csail.mit.edu/nickolai/papers/vandenhooff-vuvuzela.pdf

[3] Anonymity and Digital Currency. MIT 6.033 Spring 2018 Lecture 24. http://web.mit.edu/6.033/www/lec/s24.pdf

[4] Provable Security for Cryptocurrencies. Andrew Miller (Thesis). https://www.cs.umd.edu/~jkatz/THESES/amiller-thesis.pdf

[5] Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov. https://eprint.iacr.org/2016/889.pdf

Previous: Information Theoretic Message Authentication

Our student talks coordinator Daniel gave our first student talk of the semester on message authentication in the information theoretic setting. Slides are here. If you are interested in giving a student talk at any point in the semester, please contact one of the officers. We welcome all talks even slightly related to theoretical computer science!

continue reading ❯