People

Eugene Vasserman

Eugene Vasserman
Associate Professor
Director of Center for Cybersecurity and Trustworthy Systems
Department of Computer Science

Medical, cyber-physical, and embedded system security
Distributed system security
Privacy, anonymity, and censorship resistance
Usability of security technologies

George Amariucai George Amariucai
Associate Professor
Michelle Munson-Serban Simu Keystone Research Scholar
Department of Computer Science
Torben Amtoft

Torben Amtoft
Associate Professor
Department of Computer Science

Language-based security
Logic for secure information flow

John Hatcliff

John Hatcliff
University Distinguished Professor
Lucas-Rathbone Professorship of Engineering
Department of Computer Science

Cross-domain solutions
Programming environments for certified security applications

Arslan Munir

Arslan Munir
Associate Professor
Michelle Munson-Serban Simu Keystone Research Scholar
Department of Computer Science

Cyber-physical and embedded systems security
Hardware-based security
Artificial intelligence (AI) safety and security

Robby

Robby
Professor
Don and Linda Glaser - Carl and Mary Ice Keystone Research Scholar
Department of Computer Science

Modeling and verification for safety and security-critical systems