~/talks

Raluca Ada Popa

what they talk about

all 5 in the filters

where they keep going back

all 8 in the filters

on a stage with

all 26 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Osprey: Transparent and Efficient Virtual Memory for Secure Computation20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)2026-07-13
Osprey provides a runtime virtual memory layer for secure computation that pages encrypted data to SSDs by forking a speculative process and a programmed…
Talk on
Splitting Secrets for Encrypted BackupsTrust in Decentralized Systems 20262026-03-16
Proposes two deployable designs that split backup keys so one compromised component cannot leak many users: a three-cloud enclave design that uses OPRF-based…
Talk on
Compass: Encrypted Semantic Search with High AccuracyOSDI '252025-07-07
Compass implements encrypted semantic search by running HNSW-style graph traversal on encrypted embeddings with a client-side retriever and ORAM-backed…
Talk on
Generative AI + Proprietary DataRay Summit 20242024-09-30
Shows a practical stack that keeps prompts, RAG DBs and model weights encrypted while running by combining memory encryption and remote attestation on enclave…
Talk on
Secret Key Recovery in a Global-Scale End-to-End Encryption System18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24)2024-07-10
System recovers end‑to‑end encryption keys by splitting keys into shares across three heterogeneous enclave trust domains (deployment uses Intel SGX on Azure…
Talk on
Flock: A Framework for Deploying On-Demand Distributed Trust18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24)2024-07-10
Flock claims an on-demand distributed trust architecture that lets each client programmatically deploy serverless instances across three major clouds so an app…
Talk on
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21)2021-07-14
MAGE implements a planner and runtime that precomputes the memory programming schedule for oblivious secure computation and applies Belady's algorithm plus…
Talk on
Keynote: A Secure Collaborative Learning PlatformRay Summit 20202020-09-30
MC^2 is an open-source platform that runs secure collaborative learning by combining Python DSL policy-aware workflows with two execution backends MPC and…
Talk on
Preview SessionNSDI 20202020-02-25
Preview session summarizes concrete claims and tools across NSDI: RDMA vs kernel‑bypass shows one‑sided RDMA accesses can skip remote CPU but require NIC…
Talk on
Ghostor: Toward a Secure Data Sharing System from Decentralized TrustNSDI 20202020-02-25
System hides which user accesses which file and lets clients detect stale or tampered reads using a verifiable anonymous history: per-object hash chains of…
Talk on
SafeBricks: Shielding Network Functions in the CloudNSDI '182018-04-09
SafeBricks claims to run real network functions in cloud enclaves so both headers and payloads stay encrypted outside the enclave and NF code/rules remain…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.