| Knowledge-based security of dynamic secrets for reactive programs MK McCall, H Zhang, L Jia 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 175-188, 2018 | 11 | 2018 |
| Compositional information flow monitoring for reactive programs MK McCall, A Bichhawat, L Jia 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 467-486, 2022 | 4 | 2022 |
| Gradual security types and gradual guarantees A Bichhawat, MK McCall, L Jia 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 4 | 2021 |
| Towards Usable Security Analysis Tools for {Trigger-Action} Programming MK McCall, E Zeng, FH Shezan, M Yang, L Bauer, A Bichhawat, C Cobb, ... Nineteenth Symposium on Usable Privacy and Security (SOUPS 2023), 301-320, 2023 | 3 | 2023 |
| SAFETAP: An Efficient Incremental Analyzer for Trigger-Action Programs MK McCall, FH Shezan, A Bichhawat, C Cobb, L Jia, Y Tian, C Grace, ... Carnegie Mellon University, 2021 | 2 | 2021 |
| Information Flow Control for Dynamic Reactive Systems MK McCall Carnegie Mellon University, 2023 | 1 | 2023 |
| First-order Gradual Information Flow Types with Gradual Guarantees A Bichhawat, MK McCall, L Jia arXiv preprint arXiv:2003.12819, 2020 | 1 | 2020 |
| Tainted Secure Multi-Execution to Restrict Attacker Influence MK McCall, A Bichhawat, L Jia Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | | 2023 |
| A Sequent Calculus for Counterfactual Reasoning MK McCall, LK Loh, L Jia Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017 | | 2017 |
| Knowledge-based Security of Dynamic Secrets for Reactive Programs (CMU-CyLab-18-001) MK McCall, H Zhang, L Jia Carnegie Mellon University, 0 | | |
| A Sequent Calculus for Counterfactual Reasoning (CMU-CyLab-17-003) MK McCall, LK Loh, L Jia Carnegie Mellon University, 0 | | |
