Agenda

08 Apr 2025 11:00

Bridging Formal Security Verification and Practical Attacks

Laboratorio ACADIA, edificio ZETA - Campus Scientifico via Torino

Speaker: Paolo Modesti, Teesside University

Abstract:
Ensuring protocol security requires rigorous verification, yet formal methods often remain abstract and challenging for practitioners. This talk presents a workflow that transforms formal attack traces into executable code, bridging the gap between theoretical vulnerabilities and real-world exploitation. Additionally, we introduce an Eclipse-based IDE that simplifies security protocol verification using Alice & Bob notation, the AnBx Compiler, and model-checking tools such as OFMC and ProVerif. Our approach aims to enhance the practical applicability of security verification, aiding both researchers and practitioners.

Bio Sketch:
Paolo Modesti is a Senior Lecturer in Cybersecurity at Teesside University (UK). His main research interests include languages and tools for security, as well as applied formal methods for security. He holds a PhD in Computer Science from Ca' Foscari University Venice and an MSc in Computer Science from the University of Udine.

He has also worked as a Lecturer at the University of Sunderland (UK), a Postdoctoral Research Associate at Newcastle University (UK), a Computer Science teacher for the Italian Ministry of Education, an IT Senior Officer for the Italian Revenue Agency, and an IT Security Advisor for the European Union CAFAO mission in Bosnia and Herzegovina.

Language

The event will be held in English

Organized by

Stefano Calzavara

Search in the agenda