Srinivas Devadas
5 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
2018 · IACR Cryptology ePrint Archive
Software side channel attacks have become a serious concern with the recent rash of attacks on speculative processor architectures. Most attacks that have been demonstrated exploit the cache tag state as their exfiltration channel. While …
-
XRD: Scalable Messaging System with Cryptographic Privacy
2019 · arXiv (Cornell University)
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. Most existing systems that hide communication metadata either (1) do …
-
MI6
2019
Recent attacks have broken process isolation by exploiting microarchitectural side channels that allow indirect access to shared microarchitectural state. Enclaves strengthen the process abstraction to restore isolation guarantees.
-
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data
2020 · arXiv (Cornell University)
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 data violates some key assumptions used in almost all existing …
-
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast
2023
Trellis is a mix-net based anonymous broadcast system with cryptographic security guarantees. Trellis can be used to anonymously publish documents or communicate with other users, all while assuming full network surveillance. In Trellis, users send …