Home > Verimag > Seminars

Seminar details

Room 206 (2nd floor, badged access)
2 July 2026 - 14h00
PROVISOIRE: Preuves formelles en Crypto
by Léo Colisson Palais from UGA (LJK - CASC)
invited by Marie-Laure POTET

Résumé : TBA

New publications

Some Recent Publications
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Contact | Site Map | Site powered by SPIP 4.4.13 + AHUNTSIC [CC License]

info visites 5952530

UGA

CNRS

INP Grenoble