Verimag News

Seminars

  • In 5 days, Charlie Jacomme (Team Prosecco of Inria Paris) on 2 February 2023 at 14h00 : « A comprehensive, formal and automated analysis of the EDHOC protocol.  »
  • In 1 week, Bruno FERRES (LIP (equipe CASH)) on 6 February 2023 at 14h00 : «  Using Model Checking for Electrical Rule Checking of Integrated Circuits at Transistor Level »
  • In 3 weeks, anais durand (univ. clermont auvergne) on 20 February 2023 at 14h00 : « Exploration of 3D environments by swarms of luminous autonomous robots.  »
  • In 3 weeks, Léo Robert (LIMOS (Université Clermont Auvergne)) on 23 February 2023 at 11h00 : « How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. »