SERICS Summer School - Secure Software Development | Centro Soggiorno San Servolo, Venice

About the Summer School

Welcome to the SERICS Summer School on Secure Software Development! This intensive five-day program brings together leading experts in cybersecurity and software engineering to explore cutting-edge techniques in secure software design and implementation.

Participants will engage with topics ranging from threat modeling and secure coding practices to vulnerability assessment and security testing. Through lectures, hands-on sessions, and collaborative discussions, attendees will gain practical skills essential for developing robust and secure software systems.

            🎯 Key Focus Areas: Security by Design • Vulnerability Analysis • Secure Coding Practices • Threat Modeling • Implementation Security • Best Practices in Software Development
        

How to Get There

San Servolo Island is easily accessible from Venice via Line 20 water bus (vaporetto) from San Zaccaria dock. The journey takes approximately 10 minutes.

San Zaccaria Dock Map - Line 20 Departure Point

San Zaccaria Dock Map showing Line 20 departure point

Line 20 departs from Dock "B" at San Zaccaria (San Marco - San Zaccaria)

🗺️ Directions & Transport

Complete instructions for reaching San Servolo Island from various points in Venice.

View Detailed Directions →

🎫 Tickets & Discounts

Information about Venice transport tickets, youth discounts, and multi-day passes.

Youth Discounts Multi-Day Passes

            💡 Travel Tips: 
            • Line 20 runs every 20 minutes during daytime hours
            • The last return boat from San Servolo is typically around 11:00 PM
            • Consider purchasing a multi-day pass if you plan to explore Venice
            • The island has a small bar/café for refreshments
        

⚠️ Important Notice: Venice Regata Storica - Sunday, September 7th

Attention participants arriving on Sunday, September 7th, 2025: The famous Regata Storica (Historic Regatta) will take place in Venice on this day. This spectacular event features historic boat parades and competitive rowing races along the Grand Canal.

🎭 About the Event

One of Venice's most important traditional events with boat parades and races.

Event Details →

🚢 Transport Changes

Major modifications to all water bus services during the regatta.

Service Updates →

⛴️ Line 20 Schedule

Special timetable for Line 20 to San Servolo on September 7th.

Line 20 Timetable →

🚨 Travel Recommendations for Sunday, September 7th:

Plan extra time for your journey to San Servolo - services will be irregular
Check the modified Line 20 schedule (PDF link above) before traveling
Consider arriving on Saturday, September 6th if possible
The Grand Canal will be closed to regular traffic from 2:00 PM onwards
Alternative routes via Giudecca Canal may be available

Weekly Program

Time	Monday (08/09)	Tuesday (09/09)	Wednesday (10/09)	Thursday (11/09)	Friday (12/09)
9:00 - 10:30	Rule them all: semantically characterizing vulnerabilities and malware Gabriele Costa & Silvia De Francisci (IMT Lucca)	Confidential Computing: Attacks and Defenses Frank Piessens (KU Leuven)	Strands Rocq: Why is a Security Protocol Correct, Mechanically? Riccardo Focardi & Matteo Busi	Strands Rocq: Why is a Security Protocol Correct, Mechanically? Riccardo Focardi & Matteo Busi	Resource-Aware Programming for Secure Smart Contracts Alvise Spanò
☕ Coffee Break
11:00 - 12:30	Resource-Aware Programming for Secure Smart Contracts Alvise Spanò	Designing Secure Protocols and Proving Them Correct, with Strand Spaces Joshua Guttman (MITRE)	Designing Secure Protocols and Proving Them Correct, with Strand Spaces Joshua Guttman (MITRE)	Resource-Aware Programming for Secure Smart Contracts Alvise Spanò	Foundations of Secure Blockchain Programming Matteo Maffei (TU Wien)
🍽️ Lunch
14:30 - 16:00	Confidential Computing: Attacks and Defenses Frank Piessens (KU Leuven)	Rule them all: semantically characterizing vulnerabilities and malware Gabriele Costa & Silvia De Francisci (IMT Lucca)	Foundations of Secure Blockchain Programming Matteo Maffei (TU Wien)	Student Session	Resource-Aware Programming for Secure Smart Contracts Alvise Spanò
🍵 Tea Break
16:30 - 17:30	Rule them all: semantically characterizing vulnerabilities and malware Gabriele Costa & Silvia De Francisci (IMT Lucca)	Confidential Computing: Attacks and Defenses Frank Piessens (KU Leuven)	Designing Secure Protocols and Proving Them Correct, with Strand Spaces Joshua Guttman (MITRE)	Foundations of Secure Blockchain Programming Matteo Maffei (TU Wien)	Free Slot (Departures)

SERICS Summer School 2025