@inproceedings{hirsch_etal_2020,
 title = {First-Order Logic for Flow-Limited Authorization},
 author = {Hirsch, Andrew K. and Amorim, Pedro H. Azevedo de and Cecchetti, Ethan and Tate, Ross and Arden, Owen},
 year = {2020},
 url = {https://arxiv.org/abs/2001.10630},
 booktitle = {2020 IEEE 33rd Computer Security Foundations Symposium (CSF)},
 publisher = {IEEE},
 doi = {10.1109/CSF49147.2020.00017},
 pages = {123--138}
}