Bewijs Tegen Aanvallen: Kan AI Helpen Betrouwbare Software te Bouwen?
Beschrijving
AI maakt cyberaanvallen makkelijker te lanceren, moeilijker te ontdekken en mogelijk op veel grotere schaal. Tegelijkertijd is steeds meer van ons dagelijks leven afhankelijk van software: ziekenhuizen, energienetwerken, transportsystemen, financiële diensten en de apparaten die we in onze zakken dragen. Deze lezing stelt een simpele vraag: wat zou er nodig zijn om de software waarvan we afhankelijk zijn dramatisch veiliger te maken? Een antwoord komt van formele methoden: technieken die wiskundig bewijs gebruiken om te controleren of software zich gedraagt zoals bedoeld. Tot nu toe zijn deze methoden vaak gezien als te specialistisch, te duur of te traag voor wijdverbreid gebruik. Maar AI kan dat veranderen. Dezelfde vooruitgangen die aanvallers kunnen helpen, kunnen ons ook helpen zwaktes te vinden en te verwijderen voordat systemen worden ingezet – wat een unieke kans creëert om te bouwen aan een wereld zonder softwarekwulnerabiliteiten. Spreker: Kathleen Fisher, Advanced Research and Invention Agency, VK Onderdeel van CAV en FLoC 2026.
Locatie evenement
Laat je netwerk weten dat je komt
Deel dit evenement om gesprekken te starten, collega`s uit te nodigen en van tevoren contact te leggen.
Gerelateerde evenementen
Hoe AI de manier verandert waarop marketing opereert, de markt betreedt en klanten benadert - Porto AI Week
Masterclass: Bouw je Portfolio Carrière Voorbij AI en Freelance Verstoring
Open Source AI Modellen - Hoe kunnen Portugese bedrijven ze gebruiken?
Maak kennis met de Porto Databricks User Group
Unblock AI • Lissabon Meetup #07
CryptoFriday x AI Week — AI-agenten: Kunnen we ze vertrouwen?
Reverse-engineering het AI Antwoord
