CS Events Monthly View
Qualifying ExamAutomatic Verification of Assembly Implementations in Crypto Software |
|
||
Thursday, May 03, 2018, 10:00am |
|||
Cryptographic software such as OpenSSL and BoringSSL implements cryptographic algorithm in assembly language for performance resulting in roughly eighty thousand lines of heavily optimized assembly instructions. The correctness of the implementations is v
Speaker: Jay Lim
Bio
NULL
Location : Hill 482 Conference Room
Committee:
Prof. Santosh Nagarakatte (Chair), Prof. Richard Martin, Prof. Uli Kremer, Prof. Bahman Kalantari
Event Type: Qualifying Exam
Abstract:
Organization:
Dept. of Computer Science
Department of Computer Science