Andrew K. Hirsch

According to our database, Andrew K. Hirsch authored at least 12 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Alice or Bob?: Process polymorphism in choreographies.

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi

J. Funct. Program., 2024

Corps: A Core Calculus of Hierarchical Choreographic Programming.

Andrew K. Hirsch

CoRR, 2024

2023

Compositional Security Definitions for Higher-Order Where Declassification.

Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg

Proc. ACM Program. Lang., April, 2023

Semantics for Noninterference with Interaction Trees (Artifact).

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Dagstuhl Artifacts Ser., 2023

Semantics for Noninterference with Interaction Trees.

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Pirouette: higher-order typed functional choreographies.

Andrew K. Hirsch, Deepak Garg

Proc. ACM Program. Lang., 2022

2021

Giving semantics to program-counter labels via secure effects.

Andrew K. Hirsch, Ethan Cecchetti

Proc. ACM Program. Lang., 2021

2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Semantics for Secure Software.

Andrew K. Hirsch

PhD thesis, 2019

2018

Strict and lazy semantics for effects: layering monads and comonads.

Andrew K. Hirsch, Ross Tate

Proc. ACM Program. Lang., 2018

2013

Belief semantics of authorization logic.

Andrew K. Hirsch, Michael R. Clarkson

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Nexus Authorization Logic (NAL): Logical Results

Andrew K. Hirsch, Michael R. Clarkson

CoRR, 2012