248 citations · 415 across the 20 of their papers we have counts for
10 papers · 1 filter
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…
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…
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…
XRD: Scalable Messaging System with Cryptographic Privacy
Albert Kwon, David Lu, Srinivas Devadas
Even as end-to-end encrypted communication becomes more popular, private messaging remains a challenging problem due to metadata leakages, such as who is communicating with whom. M…
Sanctorum: A lightweight security monitor for secure enclaves
Ilia Lebedev, Kyle Hogan, Jules Drean +5
Enclaves have emerged as a particularly compelling primitive to implement trusted execution environments: strongly isolated sensitive user-mode processes in a largely untrusted sof…
MI6: Secure Enclaves in a Speculative Out-of-Order Processor
Thomas Bourgeat, Ilia Lebedev, Andrew Wright +3
Recent attacks have broken process isolation by exploiting microarchitectural side channels that allow indirect access to shared microarchitectural state. Enclaves strengthen the p…