Towards Provably Secure and Correct Systems

  • Avik Chaudhuri | University of Maryland, College Park

Over the years, principles and techniques from programming languages have played a significant role in the study of secure and correct communication. In this talk, we outline some of our work in bringing similar foundational ideas to the design and analysis of secure and correct systems. Such systems, which include file systems, operating systems, and other distributed systems, care not only about communication but also storage and computation. In fact, we indicate how modern variants of such systems can be viewed simply as new programming languages, and their security and correctness can be guaranteed through program verification. We discuss these ideas in the context of several current systems, including Windows Vista, Android, and Ruby on Rails, and then some of the future.

Speaker Details

Avik Chaudhuri is a post-doc in the programming languages group at the University of Maryland, College Park, since 2009. He received his Ph.D. in 2008 from the University of California, Santa Cruz, and his B.Tech. and M.Tech. in 2004 from the Indian Institute of Technology, New Delhi, India. His research interests include programming languages, security, and verification. Further information about his research projects and publications are available off his webpage: http://www.cs.umd.edu/~avik/

Watch Next