Accueil > Axes > ETiCS > Thèmes de recherche > Le numérique peut-il aider à réduire nos impacts (...)
xxx
Navigation
Nouvelles publications
- Quelques Publications
Récentes
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
- Mohammed Foughali, Pierre-Emmanuel Hladik: Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
- Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet: Countermeasures Optimization in Multiple Fault-Injection Context
Offres d'emploi et stages
- Offres d'emploi et stages
- 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
