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
Seminars
New publications
- Recent Publications
- Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler: Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
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
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
