Qualifying Exam
5/3/2018 10:00 am
Hill 482 Conference Room
Automatic Verification of Assembly Implementations in Crypto Software
Jay Lim, Dept. of Computer Science
Examination Committee: Prof. Santosh Nagarakatte (Chair), Prof. Richard Martin, Prof. Uli Kremer, Prof. Bahman Kalantari