Doctoral Speaking Skills Talk - Afonso Tinoco
— 1:00pm
Location:
In Person
-
Mehrabian Collaborative Innovation Center 1301
Speaker:
AFONSO TINOCO,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://cmuportugal.org/students/afonso-tinoco/
Oblivious Maps
Imagine that a privacy-conscious client would like to query a key-value store residing on an untrusted server equipped with a secure processor. To protect the privacy of the client's queries as well as the database, one approach is to implement an oblivious map inside a secure enclave. Indeed, earlier works demonstrated numerous applications of an enclaved-based oblivious map, including private contact discovery, key transparency, and secure outsourced databases.
Our work is motivated by the observation that the previous enclave implementations of oblivious algorithms are sub-optimal both asymptotically and concretely. We make the key observation that for enclave applications, the number of page swaps should be a primary performance metric. We therefore adopt techniques from the external-memory algorithms literature, and we are the first to implement such algorithms inside hardware enclaves. We also devise asymptotically better algorithms for ensuring a strong notion of obliviousness that resists cache-timing attacks.
We complement our algorithmic improvements with various concrete optimizations that save constant factors in practice. The resulting system, called Enigmap, achieves 15x speedup over Signal's linear scan implementation, and 53 speedup over the prior best oblivious algorithm implementation, at a realistic database size of 256 million and a batch size of 1000. The speedup is asymptotical in nature and will be even greater as Signal's user base grows.
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement
Event Website:
https://csd.cmu.edu/calendar/doctoral-speaking-skills-talk-afonso-tinoco