Modular Approach to Cloud Security
Talkat Data Privacy: From Foundations to Applications (Simons Institute workshop, 2019) · 2019-03-04..03-08·
summary
Argues that security must be proven compositionally and shows a working stack: formal universally composable security proofs for kernels, hardware, OpenStack and cryptographic protocols; a practical MPC system called Conclave that uses static-analysis to push work out of expensive MPC; a multi-provider datacenter, the Massachusetts Open Cloud, that colocates distrusting providers to make MPC fast; case studies include a 2017 wage-gap computation over about 167,000 employees, fetal MRI pipelines, and a 17,000-line EasyCrypt UC proof.
AI-written summary · about
chapters (4)
- 0:00Start
- 18:09Modular & multi-layered security analysis
- 22:29Goal: secure computing on the cloud
- 36:48Summary
related talks
27mUniversally Composable Security for Program Partitioning
35mEfficient Zero Knowledge Protocols: The Modular Approach
32mBeyond Software: Hardware-Based Security
49mCloud Security Made for the EU: Securing Data & Applications
01h 08mSecure Computation 1
05mπMPC: Automatic Security Proofs for MPC Protocols
31mA Comprehensive Approach to Cloud Security Posture Management
10mKeynote: A Secure Collaborative Learning Platform