Skip to main content

2017 Events

Formal Verification of Robustness Properties of Hybrid Systems

Dr. Pavithra Prabhakar - Kansas State University...
Read More

Reading Between the Lines of Datacenter Logs

Dr. Nosayba El-Sayed - Postdoctoral Associate at CSAIL, MIT...
Read More

Deception for Proactive Cyber Defense

Dr. Cliff Wang - Program Director of the Information Assurance Program at the US Army Research Office...
Read More

Hacking Sensors

Dr. Yongdae Kim - Korea Advanced Institute of Science and Technology...
Read More