How Stedi uses automated reasoning for access control policy verification (stedi.com)

1 points by zkanter 3y ago ↗ HN

1 comment

[ 3.2 ms ] story [ 10.5 ms ] thread

zkanter 3y ago ↗

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