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.
 Introduction to Modern Cryptography. Bellare, Rogaway. http://web.cs.ucdavis.edu/~rogaway/classes/227/spring05/book/main.pdf
 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
 Anonymity and Digital Currency. MIT 6.033 Spring 2018 Lecture 24. http://web.mit.edu/6.033/www/lec/s24.pdf
 Provable Security for Cryptocurrencies. Andrew Miller (Thesis). https://www.cs.umd.edu/~jkatz/THESES/amiller-thesis.pdf
 Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov. https://eprint.iacr.org/2016/889.pdf
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 ❯