יעל טאומן קלעי

יעל טאומן קלעי היא קריפטוגרפית ומדענית מחשבים תאורטית העובדת כחוקרת ראשית בכירה במיקרוסופט מחקר וכמורה מן החוץ ב-MIT במעבדת מדעי המחשב והבינה המלאכותית. קלעי סיימה תואר ראשון במתמטיקה בהצטיינות יתרה באוניברסיטה העברית בירושלים בשנת 1997. היא עבדה עם עדי שמיר במכון ויצמן למדע, סיימה שם תואר שני במדעי המחשב ומתמטיקה ב-2001, ולאחר מכן עברה למכון הטכנולוגי של מסצ'וסטס, שם השלימה את הדוקטורט שלה ב-2006 עם שפי גולדווסר כמנחת הדוקטורט שלה. היא עשתה פוסט-דוקטורט במיקרוסופט מחקר ובמכון ויצמן והייתה חברת סגל במכון הטכנולוגי של ג'ורג'יה. קיבלה משרה קבועה במיקרוסופט בשנת 2008. היא מכהנת במועצה המייעצת המדעית של המכון למחקר חישובי וניסיוני במתמטיקה (ICERM). קלעי ידועה בהמצאה (יחד עם רונלד ריבסט ועדי שמיר) של חתימת טבעת (אנ'), סוג של חתימה דיגיטלית שהפכה למרכיב מפתח במערכות רבות כגון Cryptonote (אנ') ומורנו (מטבע מבוזר). לאחר מכן, יחד עם המנחה שלה שפי גולדווסר, היא גילתה חולשה בהיוריסטיקה של פיאט-שמיר (אנ') - טכניקה נפוצה ליצירת חתימה דיגיטלית המבוססת על מערכת הוכחה אינטראקטיבית, שפותחה ב-1986 על ידי עמוס פיאט ועדי שמיר. טכניקה זו נמצאת בשימוש נרחב ביישומים בעולם האמיתי, כולל בתוכנית החתימה הדיגיטלית הנפוצה ביותר (ECDSA) (אנ') המשמשת את כל המכשירים הניידים של iOS ואנדרואיד. למרות השימוש הנרחב שלה, האבטחה שלה לא הובנה בצורה טובה. המחקר של קלעי ייסד בסיס להבנת האבטחה של פרדיגמה זו. בנוסף, קלעי הייתה חלוצה בתחום הקריפטוגרפיה שחסינה לדליפה ופתרה בעיה פתוחה ארוכת שנים בתורת הקידוד האינטראקטיבי, והראתה כיצד להמיר כל פרוטוקול אינטראקטיבי לפרוטוקול שעמיד בפני חלק קבוע של טעויות מכשילות תוך הגברת מורכבות התקשורת לכל היותר בפקטור קבוע ואת זמן הריצה לכל היותר בפקטור פולינומי. קלעי פיתחה גם את התחום של האצלת חישוב מאומת שיש לו יישומים חשובים למחשוב ענן. קלעי פיתחה שיטות להפקת הוכחות תמציתיות המאשרות את נכונותו של כל חישוב. שיטה זו מאפשרת למכשיר חלש להעביר כל חישוב למכשיר חזק יותר באופן המאפשר בדיקת תקינות התוצאות ביעילות. הוכחות תמציתיות כאלה שימשו חברות בלוקצ'יין רבות (כולל Ethereum) כדי לאשר תקפות עסקה ובכך להתגבר על מכשולים מרכזיים ביכולת ההרחבה של הבלוקצ'יין, מה שמאפשר עסקאות מהירות ואמינות יותר. המחקר של קלעי סיפק הגדרות חיוניות, מושגי מפתח וטכניקות יצירתיות לתחום זה. עבודת המאסטר של קלעי, שהציגה את הרעיון של חתימות טבעת, זכתה בפרס התזה המצטיינת לתואר שני. עבודת הדוקטורט שלה ב-MIT זכתה בפרס George M. Sprowls עבור עבודת הדוקטורט המצטיינת במדעי המחשב. בשנת 2017 הייתה יו"ר משותף של כנס האגודה הבין-לאומית למחקר קריפטוגרפי. ב-2018 הוזמנה קלעי להרצות על היבטים מתמטיים של מדעי המחשב בקונגרס הבין-לאומי של מתמטיקאים. היא זכתה בפרס ACM למחשוב לשנת 2022 "על פריצות דרך בהאצלת חישוב ניתן לאימות ותרומה בסיסית לקריפטוגרפיה". קלעי היא בתו של פרופסור יאיר טאומן. בעלה, אדם טאומן קלעי, עובד גם הוא במיקרוסופט מחקר, והם הורים לשני ילדים. מדיה וקבצים בנושא יעל טאומן קלעי בוויקישיתוף יעל טאומן קלעי, באתר dblp יעל טאומן קלעי, באתר גוגל סקולר The Cryptographer Who Ensures We Can Trust Our Computers, Quanta Magazine, July 27, 2023 Yael Tauman Kalai, Microsoft Research (באנגלית אמריקאית) Yael Kalai, Simons Institute for the Theory of Computing (באנגלית) Yael Kalai, CSAIL Alliances (באנגלית) Yael Tauman Kalai, ACM awards, ‏2022 (באנגלית) Yael Kalai, IEEE "ICERM - Trustee and Advisory Boards - Trustee & Advisory Boards". icerm.brown.edu. נבדק ב-2021-07-11. S. Goldwasser, Y.T. Kalai, On the (In)security of the Fiat-Shamir paradigm, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings., 2003-10, עמ' 102–113 doi: 10.1109/SFCS.2003.1238185 Larry Hardesty, Massachusetts Institute of Technology, Securing the cloud: New algorithm solves major problem with homomorphic encryption, phys.org (באנגלית) Yael Kalai, Leonid Reyzin, Theory of Cryptography, Lecture Notes in Computer Science, 2017 doi: 10.1007/978-3-319-70503-3 ICM Plenary and Invited Speakers, International Mathematical Union Alyssa Hughes, New England Researcher Finds Her Bliss, Microsoft Research, ‏2009-05-14 (באנגלית אמריקאית)