בטיחות אינהרנטית של מעגלים סינכרוניים\א-סינכרוניים\GALS

Inherent Security of Synchronous\A-Synchronous\GALS Circuits

שם המנחה / מנחים: איתמר לוי

אחראי אקדמי:אלכס פיש

תיאור הפרויקט:

פרויקט זה מתמקד באבטחת המידע המעובד על ידי החומרה המצויה בציפי'ם (VLSI IC's). היום, פרט להגנה הפיזית, החשמלית והאלקטרומגנטית קיימת שכבת הגנה נוספת לוגית- חומרתית כנגד חילוץ מידע מסווג שאגור בזיכרונות בשבבים או חישובים פנימיים שמתבצעים. תקיפת הציפי'ם ה"זולה" והיעילה ביותר היא תקיפת הספק. הרעיון הוא שעל ידי שימוש במידע רגעי ממדידות זרם בצ'יפ ניתן לחלץ מפתחות ההצפנה שמשמשים להצפנת המידע הלוגי שמעובד בצ'יפים. בפרויקט זה אנו נבחן את הרגישות להתקפות אלו כנגד מימושי חומרה שונים: לוגיקה סינכרונית, לוגיקה א-סינכרונית ולוגיקת GALS (Globally Asynchronous Locally Synchronous). בפרויקט זה ראשית נבחן אנליטית את ההבדל בין המימושים השונים ברגישות לתקיפות הספק. לאחר מכן נממש את שלושת האופציות על מודול חומרתי מוגדר (בלוק קריפטוגרפי). נציע מימושים משופרים או שונים להגנה כתוצאה מהמסקנות של העבודה.
*דגש: המידע שניתן כאן חלקי מסיבות של אבטחת מידע למידע מפורט נא לגשת אלינו

תכולת הפרויקט:

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

דרישות:

שימוש בכלי ניתוח וסימולציית מעגלים כדוגמת cadence virtuoso.
ביצוע מעבדה במעגלים ספרתיים וביצוע קורס 83313.
ידע בסיסי ובמטלאב.
כלים שילמדי תוך כדי הפרויקט:
כלי סינטזה ובמקרה הצורך כלי BackEnd

בשיתוף עם:

מקורות: