VLDB 2026 Research / reviewers in the wild / expert
Amina Jandoubi
dblp:326/2932
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2024
0000-0002-1824-1238ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki |
ENASE | 1 |
| 2022 | Faultload time model of the MQTT protocol publish serviceabstractNowadays, the Internet of Things touches all areas of our daily life, such as industry, economy, energy and agriculture. If we extend these domains to solutions related to smart homes and cars, we will count more than 50 billion connected devices in 2020. These applications transmit a high amount of data on the internet through IoT communication protocols. In some cases, the security aspect is required as the exchanged data can be sensitive. Therefore, it is necessary to develop a means to assess the confidence we can assign to such transmission protocols. In this context, the fault injection characterization mechanism speeds up the fault introduction into a transmission protocol to observe its reaction and to assess its resilience to application conditions with risks of errors occurring. This paper presents a systematic approach to identifying the moment of fault injection in the messaging protocol Message Queuing Telemetry Transport (MQTT). MQTT protocol handles exchanged messages across a distributed system where the injection instant cannot be defined through a time value as the synchronization of the distributed components is not guaranteed. New algorithms are introduced: (1) extract the send/receive messages' pairs, (2) timestamp the communication events using the vector clock, (3) filter the sending events and (4) generate alternate sent messages sequences. Events models for the publisher/broker provided services are generated. These services are: connect, disconnect and publish, obeying some required properties for services' quality. Amina Jandoubi, Mohamed Taha Bennani, Abdelaziz El Fazziki |
COMPSAC | 1 |