معرفی
McKenna McCall is an Assistant Professor at the Department of Computer Science, Colorado State University, specializing in formal methods and usable security. Her research bridges the gap between technical security systems and non-expert users, focusing on policy writing and theoretical guarantees of formal systems.
- PhD from Carnegie Mellon University's Electrical & Computer Engineering department (2023)
- Postdoctoral Researcher at Carnegie Mellon's Software and Societal Systems Department
Her work includes Trusted Execution Environments (TEE) usability, Information Flow Control (IFC) for reactive systems, and security tools for trigger-action programs. She has contributed to conferences such as CCS, SOUPS, Euro S&P, and CSF.
- IEEE Euro S&P 2022 Outstanding Presentation Award
- CyLab Presidential Fellowship (2020)
McKenna actively participates in academic service, including program committees for USENIX Security, CSF, and PriSC, and guest lectures at Carnegie Mellon University.
۰مقاله منتشرشده
