סוג האירוע

בחר הכל

הרצאות פומביות

מבחן/תחרות

סמינרים

קולוקוויום

כנסים וימי עיון

צהרי יום א'

ימים פתוחים וייעוץ

טקסים ואירועים מיוחדים

הרצאות לקהל הרחב

מועדון קשרי אקדמיה-תעשייה

תחום האירוע

בחר הכל

הפקולטה למדעים מדויקים

ביה"ס למדעי המתמטיקה

ביה"ס לפיזיקה ולאסטרונומיה

המועדון האסטרונומי

ביה"ס לכימיה

מרכז לחקר אינטראקציות אור חומר

סימפוזיונים והרצאות מיוחדות

החוג למדעי כדור הארץ

ביה"ס למדעי המחשב

ביה"ס למדעי כדור הארץ

קולוקוויום בביה"ס למדעי המחשב - Crypto Theory Applied: a special double feature colloquium

Speakers: Raluca Ada Popa and Alessandro Chiesa, UC Berkeley 

17 ביוני 2018, 14:00 
בניין שרייבר, חדר 309 
קולוקוויום במדעי המחשב

Speaker: Alessandro Chiesa, UC Berkeley

Title: Succinct Arguments from Interactive Oracle Proofs

 

Abstract: 

Recent years have seen tremendous progress in the design and implementation of cryptographic proofs. In this talk I will survey a recent line of work that leverages tools from the PCP literature to achieve new constructions of zero knowledge succinct arguments, with improved efficiency and security against quantum adversaries. The practical potential of this new approach motivates a diverse set of theoretical questions that I will highlight.

 

 

 

Speaker: Raluca Ada Popa, UC Berkeley 

Title: Oblix: An Efficient Oblivious Search Index

 

Abstract: 

Search indices are fundamental building blocks of many systems, so much work has attempted to enable search on encrypted data to protect the confidentiality of the data. Unfortunately, practical schemes achieve efficiency at the expense of security, because they reveal access patterns to the encrypted data.

 

In this talk, I will describe Oblix, a search index for encrypted data that is oblivious (provably hides access patterns), is dynamic (supports inserts and deletes), and importantly, has good efficiency. Oblix relies on a combination of novel oblivious-access techniques  and recent hardware enclave platforms (e.g., Intel SGX). In particular, a key technical contribution is the design and implementation of doubly-oblivious data structures, in which the client’s accesses to its internal memory are oblivious, in addition to accesses to its external memory at the server. These algorithms are motivated by hardware enclaves like SGX, which leak access patterns to both internal and external memory.

 

We demonstrate the usefulness of Oblix in two real-world applications: private contact discovery for Signal and private retrieval of public keys for Key Transparency.

Joint work with Pratyush Mishra, Rishabh Poddar, Jerry Chen, and Alessandro Chiesa.

Appeared in IEEE S&P (Oakland) 2018.

אוניברסיטת תל-אביב, ת.ד. 39040, תל-אביב 6997801
UI/UX Basch_Interactive