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