Professor Tevfik Bultan is the sole Principal Investigator of a recent
half million dollars, three year NSF grant titled "Differential Policy
Verification and Repair for Access Control in the Cloud."  Due to
the ubiquitous use of software services, protecting the confidentiality of
private information stored in compute clouds is becoming an increasingly
critical problem. Incorrect specification of access control policies in
cloud storage services can cause millions of customers' private data to be
exposed to the public. Within the scope of this project, Professor Bultan
and his graduate students will develop techniques that will automatically
identify inconsistencies in access control policies and automatically repair
them in order to protect users' data and prevent exposure of private information.