Contact : Dominique Barth, David, UVSQ, Benedikt Bollig, LSV, ENS Paris Saclay
Les programmes sont très utiles et facilitent grandement notre vie. Malheureusement, ils ne sont pas entièrement fiables. Ils ont souvent des « bugs ». Le développement et l’utilisation des logiciels ont considérablement évolué ces dernières années. L’évolution principale vient de l’explosion des communications. C’est à la fois une opportunité et une menace. L’axe SciLex du Labex DigiCosme est d’appréhender la fiabilité et la sécurité des systèmes d’information et de communication de demain. Ce travail de recherche s’articule autour de 4 grands thèmes :
- Scilex-1 Security of systems
- Scilex-2 Continuous versus discrete systems
- Scilex-3 From high-level to low-level certification
- Scilex-4 Algorithms: complexity, efficiency, robustness
Tous ces thèmes se retrouvent dans les différents projets financés par le Labex DigiCosme.
Groupes de Travail
- 2021 | COFFY – CryptOgraphy & Formal method For privacY
- 2021 | C2-SyDiC : Contrôle et Certification de Performance de Systèmes Distribués Communicants
- 2020 | vrAI: FOrmal VeRification and AI
- 2020 | TransForm: Transactions Formelles
- 2019 | Algo: Algorithmique et complexité du Plateau de Saclay
- 2018 | UPSCaLe : Universality of Proofs in SaCLay
- 2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques
- 2018 | SDT: Sécurité des données textuelles
- 2018 | HicDiesMeus: Highly Constrained Discrete Agents for Modeling Natural Systems
- 2017 | PeRSPECTiVE
- 2016 | OVSTR Optimisation des Systèmes Temps Réel Optimizing Real-Time Systems
- 2015 | SaSeFor
- 2015 | Combinatoire
- 2014 | ELFIC
- 2013 | SHy
Thèses
- 2021 | Interoperability and formal semantic proofs
- 2020 | SDRAM : Secure Dynamic ReAl-time Memory hierarchy
- 2020 | CoLeSIAw : Continuously Learning Complex Tasks via Symbolic Analysis
- 2020 | ESCAPE: EcoSystem Causal Analysis Using PEtri net unfoldings
- 2019 | ROTOR Algorithmic properties of rotor walks in graphs, and related decision models
- 2019 | Discobole: Distributed computation for blockchain with long term security
- 2018 | EPiPA
- 2016 | Compositional controller synthesis for hybrid systems
- 2016 | AlgoReCell
- 2016 | ELEFFAN
- 2016 | ModestBrood
- 2015 | DisMonTest
- 2015 | Ergo Fast : Amélioration de performances pour le solveur SMT Alt-Ergo
Post-Doc – Ingénieurs
- 2020 | ATOM
- 2019 | TacticTHo
- 2019 | PREGARI
- 2019 | LFAT
- 2018 | DafPUP
- 2018 | FAC
- 2018 | DynaRNA
- 2018 |DIGIT: Distributed Pulse Generation in Bacterial Colonies
- 2017 |CODECSYS: Contract Based Design of Cyber-Physical Systems
- 2017 | LFAT
- 2016 | TheoBioR
- 2014 | SaSeFor