Folgen
Andrew K. Hirsch
Titel
Zitiert von
Zitiert von
Jahr
Pirouette: higher-order typed functional choreographies
AK Hirsch, D Garg
Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022
462022
Belief semantics of authorization logic
AK Hirsch, MR Clarkson
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
132013
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
92021
Alice or Bob?: Process polymorphism in choreographies
E Graversen, AK Hirsch, F Montesi
Journal of Functional Programming 34, e1, 2024
72024
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
52023
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
52020
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
32018
Compositional Security Definitions for Higher-Order Where Declassification-Technical Appendix
J Menz, A Hirsch, P Li, D Garg
Technical Report. https://gitlab. mpi-sws. org/Quarkbeast/lambda-where …, 2023
22023
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
22023
Compositional Security Definitions for Higher-Order Where Declassification
J Menz, AK Hirsch, P Li, D Garg
22023
Semantics for Secure Software
AK Hirsch
Cornell University, 2019
12019
Corps: A Core Calculus of Hierarchical Choreographic Programming
AK Hirsch
arXiv preprint arXiv:2406.01456, 2024
2024
37th European Conference on Object-Oriented Programming (ECOOP 2023)
AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
Nexus Authorization Logic (NAL): Logical Results
AK Hirsch, MR Clarkson
arXiv preprint arXiv:1211.3700, 2012
2012
New Semantic Foundations for Language-Based Security
AK Hirsch
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15