SMT solver for AWS Policy decisions in ceph RGW

a project by abhishekl

Currently AWS uses a SMT solver to decide on public/non-public policies https://aws.amazon.com/blogs/security/protect-sensitive-data-in-t...

Updated about 2 months ago. No love. 1 follower.
4
5
0
1

Looking for projects around:

Nothing at the moment

Activity

  • about 2 months ago: abhishekl added keyword "z3" to SMT solver for AWS Policy decisions in ceph RGW
  • about 2 months ago: abhishekl added keyword "smt" to SMT solver for AWS Policy decisions in ceph RGW
  • about 2 months ago: abhishekl added keyword "c++" to SMT solver for AWS Policy decisions in ceph RGW
  • about 2 months ago: abhishekl added keyword "s3" to SMT solver for AWS Policy decisions in ceph RGW
  • about 2 months ago: abhishekl started SMT solver for AWS Policy decisions in ceph RGW
  • about 2 months ago: abhishekl originated SMT solver for AWS Policy decisions in ceph RGW
  • 9 months ago: abhishekl originated evaluate usage of beast as a http client for radosgw
  • over 1 year ago: abhishekl liked Storage War Games
  • over 1 year ago: abhishekl joined Storage War Games
  • over 2 years ago: abhishekl started port notmuch/muchsync to android
  • All Activity