Trusted Cloud: How to make the cloud more secure?
Event details
| Date | 17.03.2016 |
| Hour | 14:00 › 15:15 |
| Location | |
| Category | Conferences - Seminars |
By: Sriram Rajamani - Microsoft Research India
Abstract:
Cloud computing is growing because of cost advantages and convenience it offers to customers. However, security and privacy continue to be major concerns. We wish to guard against a powerful adversary who can compromise the CloudOS, and uses all privileges of the CloudOS to compromise the integrity and confidentiality of user applications. Secure hardware and/or small trusted hypervisors are the main weapons in our arsenal to guard against such powerful adversaries. Secure hardware (such as Intel SGX) enables user mode applications to package code and data into regions that are isolated from all other software running on the machine. Isolated regions can also be implemented with a small trusted hypervisor. However, it is an open research question as to how entire cloud services can be built using trusted hardware as a primitive, while maintaining a small TCB, providing good performance and end-to-end security guarantees. The Trusted Cloud project explores ways to answer this question, and it builds on techniques spanning hardware, OS, compilers and verification tools.
In addition to talking about the Trusted Cloud project, I will also give an overview of research at MSR India, and advertise open positions at MSR India (we are hiring!)
Bio:
Sriram Rajamani is Assistant Managing Director or Microsoft Research India. Sriram's research interests are in designing, building and analyzing computer systems in a principled manner. Over the years he has worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy, Cloud Security and Probabilistic Programming. He is an ACM fellow, and co-winner of the CAV 2011 award for research on automatic program verification.
More information
Abstract:
Cloud computing is growing because of cost advantages and convenience it offers to customers. However, security and privacy continue to be major concerns. We wish to guard against a powerful adversary who can compromise the CloudOS, and uses all privileges of the CloudOS to compromise the integrity and confidentiality of user applications. Secure hardware and/or small trusted hypervisors are the main weapons in our arsenal to guard against such powerful adversaries. Secure hardware (such as Intel SGX) enables user mode applications to package code and data into regions that are isolated from all other software running on the machine. Isolated regions can also be implemented with a small trusted hypervisor. However, it is an open research question as to how entire cloud services can be built using trusted hardware as a primitive, while maintaining a small TCB, providing good performance and end-to-end security guarantees. The Trusted Cloud project explores ways to answer this question, and it builds on techniques spanning hardware, OS, compilers and verification tools.
In addition to talking about the Trusted Cloud project, I will also give an overview of research at MSR India, and advertise open positions at MSR India (we are hiring!)
Bio:
Sriram Rajamani is Assistant Managing Director or Microsoft Research India. Sriram's research interests are in designing, building and analyzing computer systems in a principled manner. Over the years he has worked on various topics including Hardware and Software Verification, Type Systems, Language Design, Distributed Systems, Security and Privacy, Cloud Security and Probabilistic Programming. He is an ACM fellow, and co-winner of the CAV 2011 award for research on automatic program verification.
More information
Practical information
- General public
- Free
- This event is internal
Contact
- Host : Viktor Kuncak