Accueil > Verimag > Séminaires
Détails sur le séminaire
Abstract: * Cache timing attacks
* Branch predictor attacks
* Attack on KASLR
* MELTDOWN
* SPECTRE
Navigation
Actualités
Séminaires
Nouvelles publications
- Quelques Publications
Récentes
- Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar: Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
- Léo Gourdin: PhD Student session: formally verified postpass scheduling with peephole optimization for AArch64
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Offres d'emploi et stages
- Offres d'emploi et stages
- (un)decidability of polyhedral invariant inference
- Thèse CIFRE : Cybersecurity - Fault injection attacks
- Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
- verified decomposition of arithmetic operators
- Verified global value numbering
- [master or PhD] Convex polyhedra in floating point
- [master] automatic insertion of countermeasures in a verified compiler
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [master] formally verified hash-consing
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
