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 1 year ago: abhishekl added keyword "z3" to this project.
  • over 1 year ago: abhishekl added keyword "smt" to this project.
  • over 1 year ago: abhishekl added keyword "c++" to this project.
  • over 1 year ago: abhishekl added keyword "s3" to this project.
  • over 1 year ago: abhishekl started this project.
  • over 1 year 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...


    [unassigned] improve new openSUSE image writer by lnussel

    In order to aid loading openSUSE installation a...


    HelenOS: <filesystem> of a down by jjindrak

    During the previous Hackweek [0], I have succes...


    Build kdump initrd without dracut by ptesarik

    Project Description

    The kdump plumbing ...


    knots by LarsMB

    Summary

    knots aims to be a multi-node S3...