Andrew K. Hirsch

Cited by

	All	Since 2019
Citations	96	87
h-index	5	5
i10-index	2	1

201420152016201720182019202020212022202320241 1 3 1 2 1 7 5 31 40

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ethan CecchettiAssistant Professor of Computer Sciences, University of Wisconsin–MadisonVerified email at wisc.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerified email at cornell.edu
Ross TateAssistant Professor in Computer Science at Cornell UniversityVerified email at cs.cornell.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Paul HeUniversity of TorontoVerified email at cs.toronto.edu
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Eva GraversenPostDoc, Department of Mathematics and Computer Science University of Southern DenmarkVerified email at imada.sdu.dk
Pedro H. Azevedo de AmorimUniversity of OxfordVerified email at cs.ox.ac.uk
Owen ArdenAssistant Professor of Computer Science UCSCVerified email at soe.ucsc.edu

Andrew K. Hirsch

University at Buffalo, SUNY

Verified email at buffalo.edu - Homepage

choreographic programming proof theory type systems authorization information flow


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Pirouette: higher-order typed functional choreographies AK Hirsch, D Garg Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022	47	2022
Belief semantics of authorization logic AK Hirsch, MR Clarkson Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	13	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	9	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	5	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	5	2020
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	3	2018
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	2	2023
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
Compositional Security Definitions for Higher-Order Where Declassification J Menz, AK Hirsch, P Li, D Garg	2	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
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

The system can't perform the operation now. Try again later.

Articles 1–15

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors