Andrew K. Hirsch
Andrew K. Hirsch
Postdoc, MPI-SWS
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Belief semantics of authorization logic
AK Hirsch, MR Clarkson
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
102013
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
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
12021
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
12020
Semantics for Secure Software
AK Hirsch
Cornell University, 2019
2019
Strict and Lazy Semantics for Effects
AK HIRSCH, R TATE
2018
Nexus Authorization Logic (NAL): Logical Results
AK Hirsch, MR Clarkson
arXiv preprint arXiv:1211.3700, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–7