At CSSL, we work on a broad spectrum of areas spanning security and privacy in computer systems. Over the years, our research projects have considered security issues in computer systems ranging from cloud platforms through Web browsers to end-user devices and cyber-physical systems. Our projects usually draw on ideas and methods developed in a variety of areas, such as applied cryptography, program analysis, formal methods, machine intelligence, and trusted hardware.

Currently, we are actively working on security and privacy projects in modern cloud computing platforms and cyber-physical systems. Please look at our publications for details. All credit for the work goes to a hard-working and dedicated group of students (and of course, our alumni).

Our lab is generously supported by various research grants from the Indian Institute of Science, the Department of Science and Technology of the Government of India, the Robert Bosch Centre for Cyber Physical Systems, and Intel Labs. Lecture videos from our computer systems security course are freely available.

News:

• (October 2021) Nikita Yadav awarded the Prime Minister's Research Fellowship for her Ph.D. study.
• (October 2021) Rakesh Rajan Beck and Rounak Agarwal both successfully defend their M.Tech. (Research) theses.
• (May 2021) Paper on secure and efficient FaaS workflows to appear at USENIX'21.
• (February 2021) Paper on GPU covert channels to appear at AsiaCCS'21.