Prelim Examination: Surya Bakshi
July 31, 2022 @ 12:00 PM
CSL 141
Exam Topic: Formalizing Smart-Contract Based Blockchain Protocols