Project Description
“Due to the ubiquitous use of software services, protecting the confidentiality of private information stored in compute clouds is becoming an increasingly critical problem. Permissions for cloud resources are defined by expressive access control policies. Incorrect specification of access control policies in cloud storage services can cause millions of customers' private data to be exposed to the public. The goal of this project is to translate access control policies written in Amazon's Identity and Access Management (IAM) language to logical constraints that can be checked with modern constraint solvers in order to find access control violations.”
Team Members
- Albert Li
- Emily O'Mahony
- Benjamin Prince
- Ganesh Sankaran
Professor and Mentors
- Professor Tevfik Bultan
- William Eiers
Meeting Time
- General group meeting: Friday, 2 - 4 pm
- Meeting with Willam and Prof Bultan: Wednesday, 2 - 3 pm
- Meeting with Aarti: Monday 1 - 1:30 pm
Meeting notes:
Links to Proposals and Presentation
- Research Proposal (first draft)
- Research Proposal (second draft)
- Feedback from Aarti and Prof. Mirza
- Proposal presentation
- [PDF] Research Proposal (third draft)