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

    [unassigned] improve new openSUSE image writer by lnussel

    In order to aid loading openSUSE installation a...


    Build kdump initrd without dracut by ptesarik

    Project Description

    The kdump plumbing ...


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


    knots by LarsMB

    Summary

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