
McKenna McCall, Postdoctoral Researcher, CMU
McKenna McCall is a postdoc at Carnegie Mellon University. Her research interests are at the intersection of formal methods and usable security.

Shixuan Zhao, Ph.D. Student, OSU
Shixuan Zhao is a Ph.D. student at The Ohio State University. His research interests are system software (operating systems, compilers, etc.) and TEE.

Siyuan Tang, Ph.D. Student, IU
Siyuan Tang is a Ph.D. student at Indiana University, Bloomington. His research mainly focuses on system security, threat intelligence, and AI security.

Haobin (Hiroki) Chen, Ph.D. Student, IU
Haobin (Hiroki) Chen is a Ph.D. student at Indiana University, Bloomington. His research interests lie in the area of computer security, and system security, especially the intersecting point of theoretical and practical security.

Hongbo Chen, Ph.D. Student, IU
Hongbo Chen is a Ph.D. student at Indiana University, Bloomington. His research mainly focuses on system security, TEE, and verification. He also supports this website.

Zihao Wang, Ph.D. Student, IU
Zihao is a Ph.D. student at Indiana University, Bloomington. His research mainly focuses on system security, side-channel attacks, and AI security.

Quan Zhou, Ph.D. Student, PSU
Quan Zhou is a Ph.D. student at Penn State University. His research solves security problems by leveraging techniques used in programming languages.

Sen Yang, Ph.D. Student, Yale
Sen Yang is a Ph.D. student at Yale University. His research interests center around designing and building secure and incentive-compatible decentralized systems.

Jesticia Sistrunk, Assistant Professor, Spelman College
Jessica Sistrunk is an Assistant Professor at Spelman College.