BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Trusted Cloud: How to make the cloud more secure?
DTSTART:20160317T140000
DTEND:20160317T151500
DTSTAMP:20260407T102624Z
UID:754891937bf64ba5409b0f9ea00ab6305c6aa8694b095be66492db3e
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Sriram Rajamani - Microsoft Research IndiaAbstract:\nCloud
  computing is growing because of cost advantages and convenience it offers
  to customers. However\, security and privacy continue to be major concern
 s. We wish to guard against a powerful adversary who can compromise the Cl
 oudOS\, 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 s
 uch 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 r
 esearch question as to how entire cloud services can be built using truste
 d 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 spann
 ing hardware\, OS\, compilers and verification tools.\nIn addition to talk
 ing about the Trusted Cloud project\, I will also give an overview of rese
 arch at MSR India\, and advertise open positions at MSR India (we are hiri
 ng!)Bio:\nSriram Rajamani is Assistant Managing Director or Microsoft Rese
 arch India. Sriram's research interests are in designing\, building and an
 alyzing computer systems in a principled manner. Over the years he has wor
 ked on various topics including Hardware and Software Verification\, Type 
 Systems\, Language Design\, Distributed Systems\, Security and Privacy\, C
 loud Security and Probabilistic Programming. He is an ACM fellow\, and co-
 winner of the CAV 2011 award for research on automatic program verificatio
 n.More information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR