hirsch_etal_2020:
  type: article
  title: First-Order Logic for Flow-Limited Authorization
  author:
  - Hirsch, Andrew K.
  - Amorim, Pedro H. Azevedo de
  - Cecchetti, Ethan
  - Tate, Ross
  - Arden, Owen
  date: 2020
  page-range: 123-138
  url: https://arxiv.org/abs/2001.10630
  serial-number:
    doi: 10.1109/CSF49147.2020.00017
  parent:
    type: proceedings
    title: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
    publisher: IEEE