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.

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. We are part of the broader security research cluster here at IISc. Lecture videos from our computer systems security course are freely available.

News:

• (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.
• (November 2020) Paper on protecting against page-based side-channel attacks to appear in ACM TACO.
• (July 2020) Paper on privacy in the age of delivery drones to appear at CCS'20.
• (May 2020) Paper on SGX enclave programming to appear at FSE'20.
• (November 2019) Paper on ML model privacy to appear at AAAI'20.