Learn
active
Nyxis: formally verified Cedar authorization for Lean backends
- Engineer — Learn: Demonstrates a Cedar-schema-driven approach where authorization correctness is formally proven rather than tested; worth evaluating if you’re designing a new authorization layer, but no change to running systems is warranted.
- SOC/IR — Skip
- Leader — Skip
This entry was curated and judged by AI (Claude) with automated enrichment
(CISA KEV / EPSS / public PoC). Verify against the original source before
acting. Found a bad verdict?
Report it —
confirmed errors go to the corrections log.