SMT solver for AWS Policy decisions in ceph RGW
a project by abhishekl
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

Join this project

Looking for hackers with the skills:

c++ s3 smt z3

This project is part of:

Hack Week 19

Activity

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


    • Comments

    Be the first to comment!

    Similar Projects

    Tungsten: A low-level LLVM programming language by mfriedrich

    Project Description

    > Tungsten is suppose...

    Extend GObject based introspectable API to libzypp by zbenjamin

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

    SMTGCC by fkastl

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

    Avahi Integration and Network Connection by vojha

    Avahi Integration and Network Connection

    ...

    Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO) by bschmidt

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