Office: Computer Science Building 358
Phone:
Education:
Website: https://mckennamccall.github.io
Google Scholar: View Google Scholar Profile
About
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.