{"id":1156,"date":"2023-02-08T10:39:47","date_gmt":"2023-02-08T10:39:47","guid":{"rendered":"https:\/\/suri.epfl.ch\/?page_id=1156"},"modified":"2025-06-12T07:08:48","modified_gmt":"2025-06-12T07:08:48","slug":"home-2","status":"publish","type":"page","link":"https:\/\/suri.epfl.ch\/","title":{"rendered":"SuRI’25"},"content":{"rendered":"\n
\"\"<\/figure>\n\n\n\n
\n

EPFL School of Computer and Communication Sciences<\/h4>\n\n\n\n

Summer Research Institute 2025<\/h1>\n\n\n\n

on Security, Systems, and Formal Methods<\/h4>\n\n\n\n

June 12th and June 13th 2025<\/p>\n<\/header>\n\n\n\n

\n

Overview<\/h2>\n\n\n\n

The Research Institute (SuRI)<\/strong> is an annual event that takes place at the School of Computer and Communication Sciences<\/a> of the \u00c9cole polytechnique f\u00e9d\u00e9rale de Lausanne<\/a>, Switzerland. The workshop brings together researchers and experts from academia and industry for research talks and informal discussions.<\/p>\n\n\n\n

The event is open to everyone<\/strong> and attendance is free of charge<\/strong>.
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, dinner on the first day along with all coffee breaks and lunches.<\/p>\n\n\n\n

\n
Registration is closed<\/a><\/div>\n\n\n\n
Fellowship applications are closed<\/a><\/div>\n<\/div>\n\n\n\n

<\/p>\n<\/div>\n\n\n\n

\n

Detailed Program<\/h2>\n\n\n\n

Room location: BC Building\/ BC 05<\/p>\n\n\n\n

Thursday, June 12th<\/h3>\n\n\n\n
\n
8:30 – 9:00<\/td>Welcome coffee \u2615<\/td><\/td><\/tr>
<\/td>Session: In Data We Trust<\/strong><\/td><\/td><\/tr>
9:00 – 10:00<\/td>Scaling Decentralized Trust with Databases (Natacha Crooks)<\/td><\/td><\/tr>
10:00 – 10:30<\/td>\u2615 BREAK<\/td><\/td><\/tr>
<\/td>Session: Proof in Practice: Verifying the Stack<\/strong><\/td><\/td><\/tr>
10:30 – 11:30<\/td>Runtime Verification of Distributed Systems (Aurojit Panda)<\/td><\/td><\/tr>
11:30 – 12:30<\/td>Design and Formal Verification of Hardware-Software Security Contracts (Caroline Trippel)<\/td><\/td><\/tr>
12:30 – 13:30<\/td>LUNCH and \u2615<\/td><\/td><\/tr>
<\/td>Session: Mentoring<\/strong><\/td><\/td><\/tr>
13:30 – 15:00<\/td>Speed Mentoring<\/td><\/td><\/tr>
<\/td>Session: Silicon Shields — Securing Through Hardware<\/strong><\/td><\/td><\/tr>
15:00 – 16:00<\/td>Improving Cloud Security with Hardware Memory Capabilities (Peter Pietzuch)<\/td><\/td><\/tr>
16:00 – 17:00<\/td>Hardware-software co-designs for microarchitectural security (Lesly-Ann Daniel)<\/td><\/td><\/tr>
17:00 – 18:30<\/td>Poster session and drinks<\/td><\/td><\/tr>
from 18:30<\/td>Swiss dinner at PUUR<\/td><\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n

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

<\/p>\n<\/div>\n\n\n\n

Invited Speakers<\/h2>\n\n\n\n
\n
\"\"
Ana Klimovic (ETH Zurich)<\/figcaption><\/figure>\n\n\n\n
\"\"
Aurojit Panda (NYU)<\/figcaption><\/figure>\n\n\n\n
\"\"
Bozidar Radunovic (MSR UK)<\/figcaption><\/figure>\n\n\n\n
\"\"
Caroline Trippel (Stanford)<\/figcaption><\/figure>\n\n\n\n
\"\"
Ivan De Oliveira Nunes (Uni Z\u00fcrich)<\/figcaption><\/figure>\n\n\n\n
\"\"
Lesly-Ann Daniel (KU Leuven)<\/figcaption><\/figure>\n\n\n\n
\"\"
Natacha Crooks (UC Berkeley)<\/figcaption><\/figure>\n\n\n\n
\"\"
Peter Pietzuch (Imperial)<\/figcaption><\/figure>\n\n\n\n
\"\"
Tianyin Xu (UIUIC)<\/figcaption><\/figure>\n\n\n\n
\"\"
Vyas Sekar (CMU)<\/figcaption><\/figure>\n<\/figure>\n<\/div>\n\n\n\n
\n

Organizers and Sponsors<\/h2>\n\n\n\n
\n
\"\"
Cl\u00e9ment Pit-Claudel (SystemF<\/a>)<\/figcaption><\/figure>\n\n\n\n
\"\"
Haitham Al Hassanieh (SENS<\/a>)<\/figcaption><\/figure>\n\n\n\n
\"\"
Mathias Payer (HexHive<\/a>)<\/figcaption><\/figure>\n\n\n\n
\"\"
Sanidhya Kashyap (RS3Lab<\/a>)<\/figcaption><\/figure>\n\n\n\n
\"\"
Thomas Bourgeat (VCA<\/a>)<\/figcaption><\/figure>\n<\/figure>\n\n\n\n

<\/p>\n\n\n\n

In addition, SuRI is generously sponsored by the IC deans office<\/a> and the Center for Digital Trust (C4DT)<\/a>.<\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/figure>\n<\/div>\n\n\n\n
\n

Directions<\/h2>\n\n\n\n

If you’re flying in, Gen\u00e8ve-Cointrin<\/a> is the nearest international airport. By train, it takes ~45 minutes to reach Lausanne. Z\u00fcrich Airport is about ~2.5 hours away by train. To get information on train schedules, please see the Swiss Rail website<\/a>.<\/p>\n\n\n\n

To reach the SuRI venue( BC building – room BC 05) from the EPFL M1 metro station, please check the map below.<\/p>\n\n\n\n