Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Dominique Mery"'
Publikováno v:
IEEE Access, Vol 11, Pp 84620-84635 (2023)
The increase in popularity of wireless networks in industrial, embedded, medical and public sectors has made them an appealing attack surface for attackers who exploit the vulnerabilities in network protocols to launch attacks such as Evil Twin, Man-
Externí odkaz:
https://doaj.org/article/78f088c2b3d94fcdba152b30ef4d6a49
The increase in popularity of wireless networks in industrial, embedded, medical and public sectors has made them an appealing attack surface for attackers who exploit the vulnerabilities in network protocols to launch attacks such as Evil Twin, Man-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60a74942c60c533d5f06c60048fbefb0
https://doi.org/10.36227/techrxiv.20118803.v2
https://doi.org/10.36227/techrxiv.20118803.v2
Autor:
Ismail Mendil, Peter Riviere, Yamine Ait-Ameur, Neeraj Kumar Singh, Dominique Mery, Philippe Palanque
Publikováno v:
2022 29th Asia-Pacific Software Engineering Conference (APSEC).
In this manuscript, we analyze the security offered by existing 802.11 protocols against one of the most basic yet detrimental Evil Twin (ET) attacks. To comprehensively protect Wi-Fi networks against such attacks, vulnerabilities in the IEEE 802.11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79697750216c33aa9abb9af7a10c3867
https://doi.org/10.36227/techrxiv.20118803.v1
https://doi.org/10.36227/techrxiv.20118803.v1
Autor:
Dominique Mery
Publikováno v:
ICI2ST 2021-2nd International Conference on Information Systems and Software Technologies
ICI2ST 2021-2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
ICI2ST 2021-The Second International Conference on Information Systems and Software Technologies
ICI2ST 2021-The Second International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
ICI2ST 2021-2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
ICI2ST 2021-The Second International Conference on Information Systems and Software Technologies
ICI2ST 2021-The Second International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
International audience; The verification of distributed algorithms is a challenge for formal techniques supported by tools, as model checkers and proof assistants. The difficulties, even for powerful tools, lie in the derivation of proofs of required
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e816bc1b35b4b2b2a3c8b669feffbc55
https://inria.hal.science/hal-03199808
https://inria.hal.science/hal-03199808
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and sel
Autor:
Alexander Raschke, Dominique Méry
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 fu
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and e
Autor:
El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.The 19 full and the one short workshop paper