A methodology to assess vulnerabilities and countermeasures impact on the missions of a naval system B Sultan, F Dagnat, C Fontaine Computer Security: ESORICS 2017 International Workshops, CyberICPS 2017 and …, 2018 | 20 | 2018 |
A platform for raising awareness on cyber security in a maritime context T Becmeur, X Boudvin, D Brosset, G Héno, T Merien, O Jacq, Y Kermarrec, ... 2017 International Conference on Computational Science and Computational …, 2017 | 8 | 2017 |
Maîtrise des correctifs de sécurité pour les systèmes navals B Sultan Ecole nationale supérieure Mines-Télécom Atlantique, 2020 | 6 | 2020 |
Safety, security and performance assessment of security countermeasures with sysml-sec B Sultan, L Apvrille, P Jaillon 10th International Conference on Model-Driven Engineering and Software …, 2022 | 4 | 2022 |
System Architects Are not Alone Anymore: Automatic System Modeling with AI L Apvrille, B Sultan 12th International Conference on Model-Based Software and Systems …, 2024 | 1 | 2024 |
Mutation of Formally Verified SysML Models L Apvrille, B Sultan, O Hotescu, P de Saqui-Sannes, S Coudert 11th internationl conference on Model-Based Software and Systems Engineering …, 2023 | 1 | 2023 |
W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures B Sultan, L Apvrille, P Jaillon, S Coudert International Conference on Model-Driven Engineering and Software …, 2021 | 1 | 2021 |
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models B Sultan, L Frénot, L Apvrille, P Jaillon, S Coudert ACM Transactions on Embedded Computing Systems, 2023 | | 2023 |