The seminar and hands-on workshop “Formal Verification of Security Protocols and Software” will take place on 13–15 July 2026 in the context of the RESCALE project. The hybrid event is organised by the ECSIST Group of the Industrial Systems Institute, ATHENA Research Center, and will be hosted at Patras Science Park. Participants will be introduced to the theoretical foundations of formal verification, static code analysis, and software verification tools. Dedicated hands-on sessions will provide practical training in Tamarin and ProVerif for modelling and verifying security protocols and identifying potential vulnerabilities. Registration is required for online participation and access to the remote connection link.

The official announcement and detailed programme of the seminar and hands-on workshop are available in the attached PDF.