YoVDO

MAGE - Nearly Zero-Cost Virtual Memory for Secure Computation

Offered By: USENIX via YouTube

Tags

OSDI (Operating Systems Design and Implementation) Courses Cryptography Courses Secure Computation Courses Memory Management Courses

Course Description

Overview

Explore a 15-minute conference talk from OSDI '21 that introduces MAGE, an execution engine for Secure Computation (SC) designed to efficiently run SC computations that exceed available memory. Learn about the challenges of memory overhead in SC, the concept of memory programming, and how MAGE leverages the oblivious nature of SC schemes to create a highly efficient virtual memory abstraction. Discover how MAGE outperforms traditional OS virtual memory systems and enables SC computations to run at nearly the same speed as if unlimited physical memory were available. Gain insights into the workflow, implementation, and evaluation of MAGE, including its application in password reuse detection and potential uses in various industries adopting SC for data privacy and security.

Syllabus

Intro
Secure Computation (SC)
Application: Password Reuse Detection
Potential SC Applications
Memory Overhead of Secure Computation
Memory Can Be a Bottleneck for SC
Key Observation: SC Programs are Oblivious
SC Example: Password Reuse Detection
MAGE's Workflow
Generating a Memory Program
What Makes OS Virtual Memory Slow?
MAGE's Planner
Additional Challenges
Implementation
Evaluation
Workloads
Password Reuse Application
Conclusion


Taught by

USENIX

Related Courses

Heterogeneous Parallel Programming
University of Illinois at Urbana-Champaign via Coursera
Advanced Operating Systems
Georgia Institute of Technology via Udacity
計算機程式設計 (Computer Programming)
National Taiwan University via Coursera
Introduction to Operating Systems
Georgia Institute of Technology via Udacity
Android Performance
Google via Udacity