CS Events Monthly View
-
Automatic Verification of Assembly Implementations in Crypto Software
Event Type: Qualifying Exam
Speaker: Jay LimLocation: Hill 482 Conference Room
Event Date: 10:00am
Event Type: Qualifying Exam
Speaker: Jay Lim
Location: Hill 482 Conference Room
Event Date: 10:00am
Department of Computer Science
Rutgers, The State University of New Jersey
110 Frelinghuysen Road
Piscataway, NJ 08854-8019
(848) 445-2001