Login / Signup
Houda Belmokadem
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Methods
Ubiquitous Computing
Communication Protocols
High Security
Top Venues
CiSt
</>
Publications
</>
Imane Bouziane
,
Houda Belmokadem
,
Mohamed Moussaoui
A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols.
CiSt
(2023)