Updated
11 months
ago.
No love.
1 follower.
Currently AWS uses a SMT solver to decide on public/non-public policies https://aws.amazon.com/blogs/security/protect-sensitive-data-in-the-cloud-with-automated-reasoning-zelkova/
Learn about SMT solvers & see how feasible using a smt solver is for supporting the more minimal policy set in ceph object storage RGW
Looking for hackers with the skills:
c++ s3 smt z3
This project is part of:
Hack Week 19
Activity
Comments
Be the first to comment!
Similar Projects
HelenOS: <filesystem> of a down by jjindrak
During the previous Hackweek [0], I have succes...
Rewrite transactional-update in C++ by fos
transactional-update, the application to up...
Port some classic game to Linux by MDoucha
Let's pick some old classic game, reverse engin...