EPFL School of Computer and Communication Sciences

Summer Research Institute 2025

on Security, Systems, and Formal Methods

June 12th and June 13th 2025

Overview

The Research Institute (SuRI) is an annual event that takes place at the School of Computer and Communication Sciences of the École polytechnique fédérale de Lausanne, Switzerland. The workshop brings together researchers and experts from academia and industry for research talks and informal discussions.

The event is open to everyone and attendance is free of charge.
Attending SuRI 2025 requires a registration (which is full) but you can still subscribe to the waiting list and we will inform you if any slots open up. Registration covers attendance, coffee breaks, lunches, and dinner on the first day.

Subscribe to the waiting list

Submit your travel fellowship application here

Detailed Program

Room location: BC Building/ BC 05

Thursday, June 12th

8:15 – 8:45	Welcome coffee ☕
	Session: In Data We Trust
9:00 – 10:00	Scaling Decentralized Trust with Databases (Natacha Crooks)
10:00 – 10:30	☕ BREAK
	Session: Proof in Practice: Verifying the Stack
10:30 – 11:30	Runtime Verification of Distributed Systems (Aurojit Panda)
11:30 – 12:30	Design and Formal Verification of Hardware-Software Security Contracts (Carline Trippel)
12:30 – 13:30	LUNCH and ☕
	Session: Mentoring
13:30 – 15:00	Speed Mentoring
	Session: Silicon Shields — Securing Through Hardware
15:00 – 16:00	Improving Cloud Security with Hardware Memory Capabilities (Peter Pietzuch)
16:00 – 17:00	Hardware-software co-designs for microarchitectural security (Lesly-Ann Daniel)
17:00 – 18:30	Poster session and drinks
from 18:30	Swiss dinner at PUUR

Friday, June 13th

8:30 – 9:00	Morning coffee
	Session: SecOps, Meet AI — Towards Autonomous Defense
9:00 – 10:00	Enabling AI-based Autonomous Security Operations (Vyas Sekar)
10:00 – 10:30	☕ BREAK
	Session: Embedded Intelligence: Securing the Edge
10:30 – 11:30	The future of mobile cellular connectivity is programmable (Bozidar Radunovic)
11:30 – 12:30	Provable Execution in Real-Time Embedded Systems Ivan De Oliveira Nunes
12:30 – 13:30	LUNCH and ☕
	Session: Cloud Control — Building Reliable, Elastic Systems
13:30 – 14:30	Software Reliability in Emerging Cloud Computing Paradigms (Tianyin Xu)
14:30 – 15:30	Rethinking Cloud System Software and Abstractions for True Elasticity in the Cloud-Native Era (Ana Klimovic)
from 15:30	Coffee and optional social event

Invited Speakers

Organizers

Directions

If you’re flying in, Genève-Cointrin is the nearest international airport. By train, it takes ~45 minutes to reach Lausanne. Zürich Airport is about ~2.5 hours away by train. To get information on train schedules, please see the Swiss Rail website.

To reach the SuRI venue( BC building – room BC 05) from the EPFL M1 metro station, please check the map below.