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