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