How Stedi uses automated reasoning for access control policy verification

Full paper: https://www.stedi.com/documents/papers/how-stedi-uses-automa...