---
author:
- |
    Andrew K. Hirsch\
    [MPI-SWS[^1]]{}\
    [[[](mailto:akhirsch@mpi-sws.org)]{}]{}
- |
    Pedro H. Azevedo de Amorim\
    [Cornell University]{}\
    [[[](mailto:pamorim@cs.cornell.edu)]{}]{}
- |
    Ethan Cecchetti\
    [Cornell University]{}\
    [[[](mailto:ethan@cs.cornell.edu)]{}]{}
- |
    Ross Tate\
    [Cornell University]{}\
    [[[](mailto:ross@cs.cornell.edu)]{}]{}
- |
    Owen Arden\
    [University of California, Santa Cruz]{}\
    [[[](mailto:owen@soe.ucsc.edu)]{}]{}
bibliography:
- 'bibtex/pm-master.bib'
title: 'First-Order Logic for Flow-Limited Authorization'
---

[^1]: Work done while author was at Cornell University
