Pirouette: higher-order typed functional choreographies AK Hirsch, D Garg Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022 | 40 | 2022 |
Belief semantics of authorization logic AK Hirsch, MR Clarkson Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 12 | 2013 |
Giving semantics to program-counter labels via secure effects AK Hirsch, E Cecchetti Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 8 | 2021 |
Alice or Bob?: Process polymorphism in choreographies E Graversen, AK Hirsch, F Montesi Journal of Functional Programming 34, e1, 2024 | 7 | 2024 |
Semantics for Noninterference with Interaction Trees L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 4 | 2023 |
First-Order Logic for Flow-Limited Authorization AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020 | 3 | 2020 |
Semantics for Noninterference with Interaction Trees (Artifact) L Silver, P He, E Cecchetti, AK Hirsch, S Zdancewic Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 2 | 2023 |
Strict and lazy semantics for effects: layering monads and comonads AK Hirsch, R Tate Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 2 | 2018 |
Compositional Security Definitions for Higher-Order Where Declassification J Menz, AK Hirsch, P Li, D Garg | 1 | 2023 |
Semantics for Secure Software AK Hirsch Cornell University, 2019 | 1 | 2019 |
Corps: A Core Calculus of Hierarchical Choreographic Programming AK Hirsch arXiv preprint arXiv:2406.01456, 2024 | | 2024 |
Nexus Authorization Logic (NAL): Logical Results AK Hirsch, MR Clarkson arXiv preprint arXiv:1211.3700, 2012 | | 2012 |