Membre de l’équipe PACSS, Jean-Louis Roch est le directeur de l’Ensimag, école de Grenoble INP, depuis le 11 juin 2017.
Browsing
New publications
- Some Recent Publications
- Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
- Cyril Six: Optimized and formally-verified compilation for a VLIW processor
- Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: A SimulAtor of Self-stabilizing Algorithms
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
Jobs and internships
- Jobs and internships
- PhD position: software vulnerability analysis guided by countermeasures and attacker capabilities
- Convex polyhedra in floating point
- PhD Position: Decision Procedures for Inductive Separation Logic Modulo Data Theories
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- PhD position: Proving Correctness of Reconfigurable Systems
- [M2 Internship] Leakage in presence of an active and adaptive adversary
- [M2 Internship] Security counter-measures in a certified optimizing compiler
- [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
