הוכחה נגד התקפה: האם AI יכול לעזור לבנות תוכנה שאפשר לסמוך עליה?
תיאור
AI מקלה על תקיפות סייבר להשקה, מקשה על זיהוי, ומאפשרת זאת בקנה מידה הרבה יותר גדול. באותו הזמן, יותר מחיי היום-יום תלויים בתוכנה: בתי חולים, רשתות אנרגיה, מערכות תחבורה, שירותים פיננסיים, והתקנים שאנחנו נושאים בכיסים שלנו. השיחה הזאת שואלת שאלה פשוטה: מה דרוש כדי להפוך את התוכנה שעליה אנחנו סומכים לבטוחה בהרבה? תשובה אחת מגיעה משיטות פורמליות: טכניקות שמשתמשות בהוכחות מתמטיות כדי לבדוק שהתוכנה מתנהגת כפי שמתכוונים. עד עכשיו, השיטות האלו לא נראו לעיתים קרובות כמתאימות לשימוש נרחב, יקרות או איטיות מדי. אבל AI עשוי לשנות את זה. אותן התקדמויות שיכולות לעזור לתוקפים, יכולות גם לעזור לנו למצוא נקודות תורפה ולהסיר אותן לפני שהמערכות מוצבות – ליצור הזדמנות ייחודית לבנות עולם ללא פגיעויות תוכנה. דוברת: קתלין פישר, סוכנות מחקר וחדשנות מתקדמת, הממלכה המאוחדת חלק מ-CAV ו-FLoC 2026.
מיקום האירוע
תן לרשת שלך לדעת שאתה הולך
שתף אירוע זה כדי להתחיל שיחות, להזמין עמיתים ולהתחבר לפני תחילתו.
אירועים קשורים
כיצד בינה מלאכותית משנה את אופן פעולתה של השיווק, כיצד היא פועלת בשוק ואיך היא מעורבת בלקוחות - שבוע פורטו AI
מאסטרקלאס: בנה את קריירת הפורטפוליו שלך לפני השיבוש של AI ועבודות חופשיות
מודלים של בינה מלאכותית קוד פתוח - איך חברות פורטוגליות יכולות להשתמש בהם?
הכירו את קבוצת המשתמשים של פורטו דאטרביקס
Unblock AI • מפגש ליסבון #07
יום שישי קריפטו x שבוע AI — סוכנויות AI: האם אנו יכולים לסמוך עליהם?
הנדסה חוזרת של תשובות ה-AI
