@misc{EURECOM+8986,
  author = {Daniel, Lesly-Ann},
  title = {Hardware-software co-designs for provable microarchitectural security},
  howpublished = {Keynote speech at Journées SSLR (Journées du GT Sécurité des Systèmes, Logiciels et Réseaux (SSLR) du GDR Sécurité Informatique), 5-6 October 2026, Toulouse, France},
  year = {2026},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Keynote speech at Journées SSLR (Journées du GT Sécurité des Systèmes, Logiciels et Réseaux (SSLR) du GDR Sécurité Informatique), 5-6 October 2026, Toulouse, France and is available at :},
}