Hacker News new | ask | show | jobs
Using Z3 Theorem Prover to Analyze RBAC (goteleport.com)
2 points by twakefield 1613 days ago