248 citations · 415 across the 20 of their papers we have counts for
20 papers
Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory
Jules Drean, Miguel Gomez-Garcia, Fisher Jepsen +2
Transient execution side-channel attacks, such as Spectre, have been shown to break almost all isolation primitives. We introduce a new security property we call relaxed microarchi…
Differentially Private Deep Learning with ModelMix
Hanshen Xiao, Jun Wan, Srinivas Devadas
Training large neural networks with meaningful/usable differential privacy security guarantees is a demanding challenge. In this paper, we tackle this problem by revisiting the two…
PAC Privacy: Automatic Privacy Measurement and Control of Data Processing
Hanshen Xiao, Srinivas Devadas
We propose and study a new privacy definition, termed Probably Approximately Correct (PAC) Privacy. PAC Privacy characterizes the information-theoretic hardness to recover sensitiv…
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing
Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman +3
We present ShorTor, a protocol for reducing latency on the Tor network. ShorTor uses multi-hop overlay routing, a technique typically employed by content delivery networks, to infl…
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version)
Axel Feldmann, Nikola Samardzic, Aleksandar Krastev +6
Fully Homomorphic Encryption (FHE) allows computing on encrypted data, enabling secure offloading of computation to untrusted serves. Though it provides ideal security, FHE is expe…
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data
Di Wang, Hanshen Xiao, Srini Devadas +1
In this paper, we consider the problem of designing Differentially Private (DP) algorithms for Stochastic Convex Optimization (SCO) on heavy-tailed data. The irregularity of such d…