In the domain of security, verification is generally declined as robustness criteria and must be led against attacker models. We propose tools and technics dedicated to the evaluation of secure devices (smartcard or secured dongle) against fault attacks (such as laser or electromagnetic attacks). We are also interested for modeling and verifying other security requirements (confidentiality, integrity, isolation...) in particular in the context of Common Criteria certification.
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem: Predictability in Mixed-Criticality Systems
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
