Advising

2025 Mar 31st Martín Rodríguez (Licenciatura en Ciencias de la Computación, like a Master's degree)
Co-advised with Miguel Pagano at FaMAF.
"Detectar y explotar vulnerabilidades web con grandes modelos de lenguajes" (local copy).

Reviewing

2026 Jan 11th Reviewed for Principles of Secure Compilation (PriSC)

Other Activities

2026 Jun 8th Talk at GDR Sécurité Informatique
Presented "Formal Verification of Assembly-Level Side-Channel Security in Crypto Code."
Mar 9th Talk at Real World Crypto (RWC) (with Ignacio Cuevas)
Presented "End-to-End Formally Verified High-Assurance High-Speed Crypto Software."
2025 Oct 12th Jasmin tutorial at High-Assurance Systems Engineering (HASE)
Apr 3rd Conference talk at Architectural Support for Programming Languages and Operating Systems (ASPLOS)
Presented "Protecting Cryptographic Code Against Spectre-RSB."
Mar 13th Course at the RIO summer school (with Gilles)
One-week course "Programming Languages for Cybersecurity."
Mar 7th Lectures at FaMAF (with Gilles)
Two-week course "Foundations of Cybersecurity" for Bachelor's and Master's students.
Feb 19th Talk and Jasmin tutorial at Fing, Udelar (with Gilles)
See /pages/2025-02-19-fing.
Jan 20th Conference talk at Principles of Programming Languages (POPL)
Presented "Preservation of Speculative Constant-Time by Compilation" (recording).
Jan 20th Talk at Principles of Secure Compilation (PriSC)
Presented "Preservation of Speculative Constant-Time by Compilation."
2024 Sep 7th Conference talk at Cryptographic Hardware and Embedded Systems (CHES)
Presented "High-assurance zeroization" (recording).
Sep 4th Jasmin tutorial at Cryptographic Hardware and Embedded Systems (CHES)
Tutorial page.
Mar 22nd Jasmin tutorial at High-Assurance Crypto Software (HACS)
2023 Mar 31st Jasmin tutorial at High-Assurance Crypto Software (HACS)
2022 Jan 12th Jasmin tutorial at High-Assurance Crypto Software (HACS)

Subpages