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
Seminars
New publications
- Recent Publications
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Nicolas Basset, Ismael Jecker, Arno Pauly, Jean-Francois Raskin, Marie van den Bogaard: Beyond Admissibility: Dominance Between Chains of Strategies
- Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis: Early validation of system requirements and design through correctness-by-construction
- Dogan Ulus: Pattern Matching with Time: Theory and Applications
- Radu Iosif, Xiao Xu: First Order Alternation
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- STMicroelectronics
- [M2 internship] Self-Stabilization in TVG
