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

    SMTGCC by fkastl

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

    Port some classic game to Linux by MDoucha

    Let's pick some old classic game, reverse engin...

    Avahi Integration and Network Connection by vojha

    Avahi Integration and Network Connection

    ...