How Stedi uses automated reasoning for access control policy verification stedi.com 1 points by zkanter 4 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread zkanterOP 4 years ago Full paper: https://www.stedi.com/documents/papers/how-stedi-uses-automa...