Prova Contra Ataques: A IA Pode Ajudar a Construir Software em Que Podemos Confiar?

A IA está tornando os ciberataques mais fáceis de lançar, mais difíceis de identificar e possíveis em uma escala muito maior. Ao mesmo tempo, mais da vida cotidiana depende de software: hospitais, redes de energia, sistemas de transporte, serviços financeiros e os dispositivos que carregamos em nossos bolsos. Esta palestra faz uma pergunta simples: o que seria necessário para tornar o software em que confiamos dramaticamente mais seguro? Uma resposta vem de métodos formais: técnicas que usam prova matemática para verificar se o software se comporta conforme o esperado. Até agora, esses métodos foram frequentemente vistos como muito especializados, muito caros ou muito lentos para uso generalizado. Mas a IA pode mudar isso. Os mesmos avanços que podem ajudar os atacantes, também podem nos ajudar a encontrar fraquezas e removê-las antes que os sistemas sejam implantados – criando uma oportunidade única para avançar em direção a um mundo sem vulnerabilidades de software. Palestrante: Kathleen Fisher, Agência de Pesquisa e Invenção Avançada, Reino Unido Parte do CAV e FLoC 2026.