McKenna McCall

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 7

Top Topics

Proxy Signature Scheme

Security Analysis

Sequent Calculus

Factor Authentication

Top Venues

Publications

McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian
Towards Usable Security Analysis Tools for Trigger-Action Programming. SOUPS (2023)
McKenna McCall, Abhishek Bichhawat, Limin Jia
Tainted Secure Multi-Execution to Restrict Attacker Influence. CCS (2023)
McKenna McCall, Abhishek Bichhawat, Limin Jia
Compositional Information Flow Monitoring for Reactive Programs. EuroS&P (2022)
Abhishek Bichhawat, McKenna McCall, Limin Jia
Gradual Security Types and Gradual Guarantees. CSF (2021)
Abhishek Bichhawat, McKenna McCall, Limin Jia
First-order Gradual Information Flow Types with Gradual Guarantees. CoRR (2020)
McKenna McCall, Hengrun Zhang, Limin Jia
Knowledge-Based Security of Dynamic Secrets for Reactive Programs. CSF (2018)
McKenna McCall, Lay Kuan Loh, Limin Jia
A Sequent Calculus for Counterfactual Reasoning. PLAS@CCS (2017)