The workshop will take place at the Belles Rives Hotel in Juan Les Pins on September 29th. Reception starts at 13h15.
![](https://www.bellesrives.com/site/uploaded/menuitems/en_menuitems_bandeau_62.jpg)
Agenda
13h15-14h00 Reception, coffee, and poster exhibition
14h00-14h20 SPLiTS presentation (Tamara Rezk)
Session on Web Security (session chair : Manuel Serrano)
14h20-14h45 Andrei Sabelfeld – Chalmers
Black Ostrich: Web Application Scanning with String Solvers
14h45-15h10 Luca Compagna – SAP
Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications
15h10-15h35 Davide Balzarotti – Eurecom
WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate
15h35-16h Pedro Adao – University of Lisbon
Cookie Crumbles: Breaking and Fixing Web Session Integrity
Coffee break and group photo: 16h00-16h20
Session on Transient Execution Attacks (session chair: Benjamin Grégoire)
16h20-16h45 Gilles Barthe- MPI-SP
The Art of Doing Nothing
16h45-17h10 Marco Guarnieri – IMDEA
Leakage contracts: A foundation for microarchitectural security
17h10-17h35 Lesly Ann Daniel – KU Leuven
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy
Coffee break: 17h35-17H55
Session on Cryptography and Compilers (session chair: Anne Canteaut)
17h55-18h20 Andreas Hülsing – Eindhoven University of Technology
Post-quantum cryptography
18h20 -18h45 Swarn Priya – INRIA
Formally computer-verified protections against timing-based side-channel attacks
18h45-19h05 Tiago Oliveira – MPI-SP
Formosa: The good, the bad, the ugly
19h05-23h00 Dinner cocktail
![](https://team.inria.fr/splits/files/2023/09/image.jpeg)