People

Vasserman

Eugene Vasserman
Associate Professor
CISA Director
Michelle Munson-Serban Simu Keystone Research Scholar
Department of Computer Science

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

Amariucai

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

amtoft

Torben Amtoft
Associate Professor
Department of Computer Science

Language-based security
Logic for secure information flow

hatcliff

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

Cross-domain solutions
Programming environments for certified security applications

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