Y
Hacker News
new
|
ask
|
show
|
jobs
by
jmccarthy
436 days ago
https://aws.amazon.com/verified-permissions/
(AVP) is a team and product which uses the formally verified Cedar language.
https://arxiv.org/abs/2403.04651