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. »
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. »