חישוב מבוזר של חיתוך עם חשיפה מינימלית

Secure computation of set-intersection

חישוב בטוח הינו כלי חשוב בקריפטוגרפיה המאפשר להריץ חישוב ברשת של מחשבים הנמצאים תחת מתקפה, תוך שמירה על תכונות חשובות כמו פרטיות ונכונות. בפרויקט זה נחקור את הפונקציונליות שמחשבת את החיתוך של מספר קבוצות. פרוטוקול בטוח עבור פונקציונליות זו לא מדליף אינפורמציה נוספת מעבר לחיתוך. קיימות אפליקציות רבות הדורשות שחישוב זה יבוצע תוך שמירה על פרטיות. מטרת הפרוייקט היא לחקור מימושים של פונקציה זו במודל מתקפות חזק המאפשר ליריב להשחית את אחד השחקנים ולהתקיף את השחקן השני באופן שרירותי. במודל זה קיים מגוון רחב של פרוטוקולים, שברובו לא ממומש, ואין וודאות לגבי יעילותם של פרוטוקולים אלו. המחקר בפרויקט זה מתחלק לשני שלבים. בשלב התיאורטי הסטודנטים ילמדו מבוא לקריפטוגרפיה וחישוב בטוח, ויוכיחו בטיחות לגבי חלק מן הפרוטוקולים. בחלק המעשי הסטודנטים יממשו פרוטוקולים אלו.

דרישות:

מבוא לקריפטוגרפיה

מקורות:

http://eprint.iacr.org/2017/027.pdf