Write a Blog >>
Mon 20 Jan 2020 14:32 - 15:05 at St Jerome - Papers 4 Chair(s): Ruzica Piskac

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

14:00 - 15:05
Papers 4VMCAI at St Jerome
Chair(s): Ruzica Piskac Yale University, USA
14:00
32m
Talk
Synthesizing Environment Invariants for Modular Hardware Verification
VMCAI
Hongce Zhang Princeton University, Weikun Yang Princeton University, Grigory Fedyukovich Florida State University, Aarti Gupta Princeton University, Sharad Malik Princeton University
14:32
32m
Talk
Systematic Classification of Attackers via Bounded Model Checking
VMCAI
Eric Rothstein-Morris Singapore University of Technology and Design, Jun Sun Singapore Management University, Singapore, Sudipta Chattopadhyay Singapore University of Technology and Design