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

  • over 2 years ago: abhishekl added keyword "z3" to this project.
  • over 2 years ago: abhishekl added keyword "smt" to this project.
  • over 2 years ago: abhishekl added keyword "c++" to this project.
  • over 2 years ago: abhishekl added keyword "s3" to this project.
  • over 2 years ago: abhishekl started this project.
  • over 2 years ago: abhishekl originated this project.

  • 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...


    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...


    Add GObject based introspectable API to libzypp by zbenjamin

    [comment]: # (Please use the project descriptio...


    Make DNF5 package manager ready for openSUSE by dmach

    Project Description

    DNF 5 is a package ma...