Wed Aug 13, 2008, 11:00-12:00, 4549 Boelter Hall

Foundations of Access Control for Secure Storage

Avik Chaudhuri
UC Santa Cruz

Over the years, formal methods have played a significant role in the study
of secure communication.  Unfortunately, secure storage has received far less
attention.  In particular, the uses and consequences of dynamic access 
control for security in file systems, operating systems, and other 
distributed systems are seldom well-understood.  We outline some of our work
in that direction.  Our case studies include the security designs of some 
state-of-the-art storage systems and operating systems.  Our techniques are 
derived from ideas in programming languages and logic.

About the speaker: Avik is a PhD candidate at UC Santa Cruz 
working in the area of security. His advisor is Martin Abadi.

Host: Rupak Majumdar