Professeur des universités à l’UJF (IMAG/VERIMAG) et responsable du projet MARAE au niveau de l’UJF, Saddek Bensalem a également reçu lors de cet événement un des trois prix de la meilleure publication scientifique des programmes de recherche qui ont été remis par les dirigeants des groupes EADS, Safran et Thalès.
Home > Verimag > Actualités
Best scientific publication prize for Saddek Bensalem
Financement du projet MARAE, prix de la meilleure publication scientifique des programmes de recherche. Le laboratoire VERIMAG est doublement distingué par la Fondation de Recherche pour l’Aéronautique et l’Espace
View online : http://www.ujf-grenoble.fr/12749657...
Browsing
News
- Conferences
- November 24-28 2025 Synchron 2025
Seminars
- Seminars
- 13 November 2025 Yann Herklotz: Towards scalable verification and efficient hardware generation using verified (…)
- 21 November 2025 Oussama Oulkaid: Formal models of integrated circuits for transistor level electrical verification (Phd)
- 25 November 2025 Véronique Cortier: Electronic voting: design, attack, and formal verification
- 1 December 2025 Sylvain Boulme: Introduction à la programmation orientée objet en crystal
- 4 December 2025 Jannik Laval: A venir (thème cybersécu)
- 11 December 2025 Thaïs Baudon: A venir (thème: compilation optimisant les représentations mémoire)
New publications
- Some Recent Publications
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
Jobs and internships
- Jobs and internships
- [Funded PhD] Fault Injection Attacks: Automated Analysis of Counter-Measures At The Binary Level
- [Master] Decision Procedure for Equivalence Relations
- [Master]Leakage in presence of an active and adaptive adversary
- [PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences