2014年电气论坛第2次活动-马里兰大学帕克分校的Dr. Elaine Shi学术报告《Practical Oblivious Computation: From Theory to Hardware to Compiler》
发布日期：2013-12-30 作者： 编辑：jam 访问量：657
学术报告：Practical Oblivious Computation: From Theory to Hardware to Compiler
Dr. Elaine Shi
Assistant Professor, Computer Science Dept.
University of Maryland, College Park
Bio:Elaine Shi completed her Ph.D. at Carnegie Mellon University in 2008, and prior to joining Maryland, she also worked at Palo Alto Research Center (PARC) and UC Berkeley as a research scientist. In her research, Elaine takes a theory-meets-practice approach towards the design of secure and privacy-preserving systems. She has a broad range of expertise covering secure software systems, cryptography, network security, and language-base security. Her work on practical Oblivious RAM won a Best Student Paper award in ACM CCS'13, and was a finalist for the AT&T Best Applied Security Paper Award. Elaine also won the IJCNN/Kaggle Social Network Challenge in 2011.
I will describe a new binary-tree based paradigm of constructing Oblivious RAM, leading to extremely simple constructions. Within this framework, I will describe Path ORAM. Under reasonable assumptions about the block size, Path ORAM achieves O(log n) bandwidth overhead with just a little more than O(log n) trusted cache --- this is nearly optimal in light of Goldreich and Ostrovsky's lower bound.
Based on Path ORAM, we implement the first real-life ORAM-capable secure processor prototype called Phantom. We run real-world programs such as sqlite on top of Phantom, and demonstrate reasonable practical performance.
Then, I will describe programming language techniques that can compile a program into its memory-trace oblivious equivalent, while achieving order-of-magnitude speedup in comparison with the naive approach of
placing all variables in a single, large ORAM.
Finally, I will describe a vision of building a cloud
computing platform secure against physical attacks.