Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden. First-Order Logic for Flow-Limited Authorization. In 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020. pages 123-138, IEEE, 2020. [doi]
Abstract is missing.