Updated
almost 3 years
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
This project is part of:
Hack Week 19
Activity
Comments
Be the first to comment!
Similar Projects
Port some classic game to Linux by MDoucha
Let's pick some old classic game, reverse engin...
chatterbox by gbaccini
Project Description
[chatterbox](https://...
HelenOS: <filesystem> of a down by jjindrak
During the previous Hackweek [0], I have succes...
Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO) by bschmidt
[comment]: # (Please use the project descriptio...