Updated
about 4 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...
Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO) by bschmidt
[comment]: # (Please use the project descriptio...
Extend GObject based introspectable API to libzypp by zbenjamin
[comment]: # (Please use the project descriptio...
Tungsten: A low-level LLVM programming language by mfriedrich
Project Description
> Tungsten is suppose...
HelenOS: <filesystem> of a down by jjindrak
During the previous Hackweek [0], I have succes...