
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.

Carolina Carreira, Ph.D. Student @ CMU
Caroline’s research interests are usable security, software engineering. Her focus is asymmetric communication in contexts of security and privacy. She is also interested in understanding how experts, end-users, and companies communicate about privacy and how we can improve this communication.

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.

Hiroki Chen, Ph.D. Student @ IU
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.

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.

Sixuan (Nick) Dang, Ph.D. Student @ Duke
Sixuan is a third-year PhD student advised by Prof. Danfeng Zhang at Duke University Department of Computer Science. He is currently working on ensuring information flow security with static analysis.