Security

Security Testing of RESTful APIs With Test Case Mutation
The focus of this paper is on automating the security testing of RESTful APIs. The testing stage of this specific kind of components is …
sébastien Salva, Jarod Sue
Cite
ANR Severitas 21-25
Fellow of the ANR project, Limos partner
MLCA: a Model-Learning-Checking Approach for IoT Systems
The Internet of Things (IoT) is a broad concept comprising a wide ecosystem of interconnected services and devices connected to the …
Sébastien Salva and Elliott Blot
PDF Cite Project DOI
ConfianceNumérique 2020-2024
Fellow of the Industrial Chair on Digital Trustworthy. Responsible of the part related to Software Engineering Supervisor of the PHD Student Jarod Sue working on Analyzing of microservice-based systems; Anomaly and security issue detection Link
An Advanced Approach for Choosing Security Patterns and Checking their Implementation
This paper tackles the problems of generating concrete test cases for testing whether an application is vulner- able to attacks, and of …
sébastien Salva, Loukmen Regainia
PDF Cite
Confiance Numérique 14-17
Fellow of the Industrial Chair on Digital Trustworthy. Supervisor of the PHD Student Loukmen Regainia. Link
VASOC (Vers l'Audit de Sécurité de Objets Connectés / Security Audit of IOTs) 18-22
IOT System Audit
sébastien Salva, Lillian Bossuet