Loading...
Dernières soumissions
-
Salim Chehida, Eric Rutten, Guillaume Giraud, Stéphane Mocanu. Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques. AFADL 2024 - Journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2024, Strabourg, France. pp.1-4. ⟨hal-04604995⟩
-
Quentin Guilloteau, Sophie Cerf, Eric Rutten, Raphaël Bleuse, Bogdan Robu. Tutorial: "Under-Control: A Control Theory Introduction for Computer Scientists". FlexScience 2024 - 14th workshop on AI and Scientific Computing at Scale using Flexible Computing Infrastructures, Jun 2024, Pise, Italy. pp.1-2. ⟨hal-04602298⟩
-
Jolahn Vaudey, Eric Rutten, Stéphane Mocanu, Gwenaël Delaval. DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.. 2024, ⟨swh:1:dir:7d672d5b175bebcacb220d68867db4f127f372d5;origin=https://gitlab.inria.fr/jvaudey/iec62433-dsl;visit=swh:1:snp:ff3978f2eac26aa7d82e10abb5543562589f7507;anchor=swh:1:rev:505c77d8dfdfa1495d6497f7dd1b0811c7553d40⟩. ⟨hal-04573409⟩
-
Estelle Hotellier, Franck Sicard, Julien Francq, Stéphane Mocanu. Behavioral Intrusion Detection Methodology for Hybrid Industrial Control Systems. RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon_sur_Lac, France. ⟨hal-04457991⟩
-
Stéphane Mocanu, Estelle Hotellier. Modbus RTU network trafic capture.. 2024, ⟨swh:1:dir:0a75e2eea028af46bb34bd570001aafbab844d29;origin=https://hal.archives-ouvertes.fr/hal-04426339;visit=swh:1:snp:3b2375b33cb0fcd5f90c5ab3e9cd0108361c42ec;anchor=swh:1:rel:c80f2f43706cf5bd219c980827ad768eedf198e9;path=/⟩. ⟨hal-04426339⟩
-
Mike Da Silva, Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu, Nelson Nkawa. Automated ICS template for STRIDE Microsoft Threat Modeling Tool. ARES 2023 - 18th International Conference on Availability, Reliability and Security, Aug 2023, Benevento, Italy. pp.1-7, ⟨10.1145/3600160.3605068⟩. ⟨hal-04165419⟩
-
Estelle Hotellier, Franck Sicard, Julien Francq, Stéphane Mocanu. Système de détection des intrusions distribué pour les systèmes industriels. RESSI 2023 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy sur Barangeon, France. pp.1-3. ⟨hal-04124168⟩
-
Quentin Guilloteau, Olivier Richard, Eric Rutten, Bogdan Robu. Collecte de ressources libres dans une grille en préservant le système de fichiers : une approche autonomique. COMPAS 2021 - Conférence d'informatique en Parallélisme, Architecture et Système., Jul 2021, Lyon, France. pp.1-11. ⟨hal-03282727v2⟩