mckennak at cmu dot edu
I am a Post-doctoral Researcher in the Software and Societal Systems Department at Carnegie Mellon University, supervised by Lujo Bauer and Lorrie Cranor. My research is at the intersection of formal methods and usable security. More specifically, I am interested in finding ways to help users (even ones without technical backgrounds) write policies and understand the theoretical guarantees these formal systems can provide.
For my undergraduate, I double majored in Computer Science and Mathematics and minored in Gender, Women, and Sexuality Studies at Kansas State University. I was an intern at Garmin from 2012-2016 in the aviation department and worked primarily on the flight display systems. I then received my PhD in 2023 from the Electrical & Computer Engineering department at Carnegie Mellon University, advised by Limin Jia.
Tainted Secure Multi-Execution to Restrict Attacker Influence.
McKenna McCall, Abhishek Bichhawat, and Limin Jia. CCS 2023 (to appear).
Towards Usable Security Analysis Tools for Trigger-Action Programming.
Information Flow Control for Dynamic Reactive Systems.
McKenna McCall. Carnegie Mellon University 2023 (PhD thesis). [PDF]
Compositional Information Flow Monitoring for Reactive Programs.
Gradual Security Types and Gradual Guarantees.
Knowledge-based Security of Dynamic Secrets for Reactive Programs.
A Sequent Calculus for Counterfactual Reasoning.
SafeTAP: An Efficient Incremental Analyzer for Trigger-Action Programs.
McKenna McCall, Faysal Hossain Shezan, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian, Cooper Grace, Mitchell Yang. [TR]
IEEE Euro S&P 2022 Outstanding Presentation Award for Compositional Information Flow Monitoring for Reactive Programs
IEEE S&P (Oakland) 2021 Shadow PC Distinguished Reviewer
CyLab Presidential Fellowship, 2020
NSF SaTC Vision 2.0 Workshop Attendee, 2023
Universal Access Committee and Facilities Working Group, Spring 2022-Spring 2023
Dining Student Advisory Council, Spring 2022-Spring 2023
CyLab Mentor, Fall 2022
CIO Advisory Council, Summer 2022-Fall 2022
Advisory Committee for the CMU Student Academic Sucess Center Executive Director Search, Spring 2022
CMU Graduate Student Assembly VP of Campus Affairs, Spring 2022
Parking & Transportation Advisory Committee, Spring 2022
CMU Graduate Student Assembly Partner and Family Advocate, Spring 2021-Fall 2021
Family Care Advisory Committee, Spring 2021-Summer 2021
ECE Diversity Committee, Spring 2021
FCS Program Committee, 2023
PriSC Program Committee, 2023
CCS Poster Committee, 2022
IEEE S&P (Oakland) Program Committee, 2022
IEEE S&P (Oakland) Shadow PC, 2021
Fall 2021: TA for Introduction to Information Security (18-631/14-741)
Fall 2017: TA for Introduction to Information Security (18-631/14-741)