Hacker News new | ask | show | jobs
Using Z3 theorem prover to analyze role-based access permissions (goteleport.com)
7 points by old-gregg 1606 days ago