Contact : Dominique Barth, David, UVSQ; Benedikt Bollig, LSV, ENS Paris Saclay
The programs are very useful and make our lives much easier. Unfortunately, they are not entirely reliable. They often have “bugs”. The development and use of software has changed considerably in recent years. The main evolution comes from the explosion of communications. It is both an opportunity and a threat. The Labex DigiCosme axis SciLex is to understand the reliability and security of tomorrow’s information and communication systems. This research work is structured around 4 main themes:
- 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
All these themes are found in the different funded projects by Labex DigiCosme.
Working groups
- 2021 | COFFY – CryptOgraphy & Formal method For privacY
- 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
- 2017 | PeRSPECTiVE
- 2016 | OVSTR Optimisation des Systèmes Temps Réel Optimizing Real-Time Systems
- 2015 | SaSeFor
- 2015 | Combinatoire
- 2014 | ELFIC
- 2013 | SHy
PhD
- 2020 | SDRAM : Secure Dynamic ReAl-time Memory hierarchy
- 2020 | NumRes : Reasoning about Concurrent Game Structures with Numerical Resources (NumRes)
- 2020 | IndepTh : Definitions and proofs by induction in dependent type theory
- 2020 | ESCAPE: EcoSystem Causal Analysis Using PEtri net unfoldings
- 2020 | CoLeSIAw : Continuously Learning Complex Tasks via Symbolic Analysis
- 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 | ModestBrood
- 2016 | ELEFFAN
- 2016 | Compositional controller synthesis for hybrid systems
- 2016 | AlgoReCell
- 2015 | Ergo Fast : Amélioration de performances pour le solveur SMT Alt-Ergo
- 2015 | DisMonTest
Post-Doc – Engineer
- 2020 | ATOM
- 2019 | TacticTHo
- 2019 | PREGARI
- 2019 | LFAT
- 2018 |DIGIT: Distributed Pulse Generation in Bacterial Colonies
- 2018 | FAC
- 2018 | DynaRNA
- 2018 | DafPUP
- 2017 |CODECSYS: Contract Based Design of Cyber-Physical Systems
- 2017 | LFAT