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
- Automation: Flying High?
Seminars
New publications
- Recent Publications
- Radu Iosif, Xiao Xu: Abstraction Refinement for Emptiness Checking of Alternating Data Automata
- Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem: Predictability in Mixed-Criticality Systems
- Klaus Havelund, Doron Peled, Dogan Ulus: DejaVu: A Monitoring Tool for First-Order Temporal Logic
- Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay: Performance evaluation of stochastic real-time systems with the SBIP framework
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
