2 papers
cs.CR2025
Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware
Jules Drean, Fisher Jepsen, Edward Suh +3
We present Argos, a simple approach for adding verifiability to fully homomorphic encryption (FHE) schemes using trusted hardware. Traditional approaches to verifiable FHE require…
cs.CR2025
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…