McKenna McCall

According to our database, McKenna McCall authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Usable Security Analysis Tools for Trigger-Action Programming.

McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian

Proceedings of the Nineteenth Symposium on Usable Privacy and Security, 2023

Tainted Secure Multi-Execution to Restrict Attacker Influence.

McKenna McCall, Abhishek Bichhawat, Limin Jia

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Compositional Information Flow Monitoring for Reactive Programs.

McKenna McCall, Abhishek Bichhawat, Limin Jia

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021

Gradual Security Types and Gradual Guarantees.

Abhishek Bichhawat, McKenna McCall, Limin Jia

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

First-order Gradual Information Flow Types with Gradual Guarantees.

Abhishek Bichhawat, McKenna McCall, Limin Jia

CoRR, 2020

2018

Knowledge-Based Security of Dynamic Secrets for Reactive Programs.

McKenna McCall, Hengrun Zhang, Limin Jia

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

A Sequent Calculus for Counterfactual Reasoning.

McKenna McCall, Lay Kuan Loh, Limin Jia

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017