Part of the CAV and FLoC 2026 conferences, this hour-long talk in the Grande Auditorio at ISCTE-IUL asks a plain question: can AI actually help write software we can trust not to break under attack. Kathleen Fisher, of the UK research agency ARIA, gives the lecture. It is open to the public and free, registered through Luma.
"Proof Against Attack: Can AI Help Build Software We Can Trust?"
A free public lecture at ISCTE-IUL on whether AI can help build verifiably secure software, with Kathleen Fisher of ARIA.
0