CS Events Monthly View

Qualifying Exam

Automatic Verification of Assembly Implementations in Crypto Software

 

Download as iCal file

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

Organization

Dept. of Computer Science