Sign in
Bastien Sultan
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Lightweight
Countermeasures
Information Security
Security Measures
Top Venues
MODELSWARD
CyberICPS/SECPRE@ESORICS
MODELSWARD (Revised Selected Papers)
</>
Publications
</>
Ludovic Apvrille
,
Bastien Sultan
,
Oana Hotescu
,
Pierre de Saqui-Sannes
,
Sophie Coudert
Mutation of Formally Verified SysML Models.
MODELSWARD
(2023)
Bastien Sultan
,
Ludovic Apvrille
,
Philippe Jaillon
,
Sophie Coudert
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.
MODELSWARD (Revised Selected Papers)
(2022)
Bastien Sultan
,
Ludovic Apvrille
,
Philippe Jaillon
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.
MODELSWARD
(2022)
Bastien Sultan
,
Fabien Dagnat
,
Caroline Fontaine
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System.
CyberICPS/SECPRE@ESORICS
(2017)