Best paper award for Pascal Lafourcade and Jannik Dreier "Formal Analysis of Electronic Exams" par Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter [1].
Browsing
News
New publications
- Some Recent Publications
- David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
- Florence Maraninchi: Let Us Not Put All Our Eggs in One Basket
- Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani: Toward a context-driven deployment optimization for embedded systems: a product line approach
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Jobs and internships
- Jobs and internships
- [Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
- Measures against speculative attacks in a certified optimizing compiler
- Security counter-measures in a certified optimizing compiler
- Thèse CIFRE : Cybersecurity - Fault injection attacks
- Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
- Verified hash tables and hash-consing
- [master/PhD] Formally verified optimizations for safety-critical embedded code
- [master/PhD] Static analysis of “pseudo-LRU” caches
- [Master] Analyzing fault parameters triggering timing anomalies
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [Master] Exploration by model-checking of timing anomaly cancellation in a processor
- [Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
- [Master] Simulation of Distributed Algorithms
- [Post-Doc] Open postdoc position (Software Security, Formal Methods, IIoT)
- [PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
